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 : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings
Nicolas Halbwachs, Doron Peled (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1633
所蔵情報: loading…
4.

図書
図書
4. Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1102
所蔵情報: loading…
5.

図書
図書
5. Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Alan J. Hu, Moshe Y. Vardi (eds.)
出版情報: Berlin : Springer-Verlag, c1998
シリーズ名: Lecture notes in computer science ; 1427
所蔵情報: loading…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. 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…
9.

図書
図書
9. 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…
10.

図書
図書
10. 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…