Blank Cover Image
タイトル、所在を表示します

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings

フォーマット:
図書
責任表示:
Byron Cook, Andreas Podelski (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2007
形態:
xi, 394 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 4349 <BA00009279>
書誌ID:
BA80293333
ISBN:
9783540697350 [3540697357]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

VMCAI, Emerson, E. Allen, Namjoshi, Kedar S.

Springer
7 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer
2 図書 Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

VMCAI, Logozzo, Francesco, Peled, Doron, Zuck, Lenore D., 1958-

Springer
8 図書 Proceedings : 1992 IEEE International Conference on Robotics and Automation : May 12-14, 1992, Nice, France

IEEE International Conference on Robotics and Automation, IEEE Robotics and Automation Society

IEEE Computer Society Press
3 図書 Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

VMCAI, Cousot, Radhia

Springer
9 図書 Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

SPIN, Bošnački, Dragan, Edelkamp, Stefan

Springer
4 図書 Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

VMCAI, Steffen, Bernhard, Levi, Giorgia

Springer
10 図書 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

SPIN, Dwyer, Matthew, 1963-

Springer
5 図書 Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

VMCAI, Zuck, Lenore D., Attie, Paul C., Cortesi, Agostino, Mukhopadhyay, Supratik

Springer
11 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

SPIN, Bošnački, Dragan, Leue, Stefan

Springer
6 図書 Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

VMCAI, Cortesi, Agostino

Springer
12 図書 SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

SPIN, Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-

Springer