1.

図書
図書
1. Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
René Alt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2991
所蔵情報: loading…
2.

図書
図書
2. Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
Bertrand Meyer, Jim Woodcock (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 4171
所蔵情報: loading…
3.

図書
図書
3. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
E. Allen Emerson, A. Prasad Sistla (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1855
所蔵情報: loading…
4.

図書
図書
4. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Klaus Havelund, John Penix, Willem Visser (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1885
所蔵情報: loading…
5.

図書
図書
5. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: loading…
6.

図書
図書
6. Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Dragan Bošnački, Stefan Leue (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2318
所蔵情報: loading…
7.

図書
図書
7. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Matthew Dwyer (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2057
所蔵情報: loading…
8.

図書
図書
8. Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2102
所蔵情報: loading…
9.

図書
図書
9. Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Aarti Gupta, Sharad Malik (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5123
所蔵情報: loading…