>> Google Books
QRコード(所蔵情報)

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

フォーマット:
図書
責任表示:
Dragan Bošnački, Stefan Leue (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2002
形態:
x, 257 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 2318 <BA00009279>
書誌ID:
BA56526457
ISBN:
9783540434771 [3540434771]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

SPIN, Dwyer, Matthew, 1963-

Springer
7 図書 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
2 電子ブック Model Checking Software

Dragan Bošnacki

Springer Berlin Heidelberg
8 電子ブック SPIN Model Checking and Software Verification

International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem

Springer Berlin Heidelberg
3 図書 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957-

Springer
9 電子ブック Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings

Horain, Achard, Catherine, Horain, Patrick, Mallem, Malik

Springer International Publishing
4 電子ブック Proceedings of the 8th international SPIN workshop on Model checking of software

International SPIN Workshop, Dwyer, Matthew, ACM Sigsoft., Association for Computing Machinery-Digital Library.

Springer Berlin Heidelberg
10 図書 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984

EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938-

Springer-Verlag
5 図書 Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

EMSOFT, Sangiovanni-Vincentelli, Alberto, Sifakis, Joseph, 1946-

Springer
11 電子ブック Proceedings of the 9th International Symposium on Enchytraeidae, 14-16 July 2010, Braunschweig, Germany

Schrader,Stefan

VTI
6 図書 Proceedings of the 9th international conference on amorphous and liquid semiconductors : held at Grenoble, France July 2-8, 1981

International Conference on Amorphous and Liquid Semiconductors., Chakraverty, B. K.

Les éditions de physique
12 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on …

TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966-

Springer