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

>> Google Books

QRコード(所蔵情報)

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

フォーマット:

図書

責任表示:

Lenore D. Zuck ... [et al.] (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xi, 323 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2575 <BA00009279>

書誌ID:

BA60720001

ISBN:

9783540003489 [3540003487]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	コンピュータプログラミング
注記:	Includes bibliographies and index Other editors: Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers VMCAI, Cortesi, Agostino Springer	7 図書 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
2 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2003, Zuck, Lenore D. Springer Berlin Heidelberg	8 図書 Geometry and dynamics : international conference in honor of the 60th anniversary of Alberto Verjovsky, January 6-11, 2003, Cuernavaca, Mexico Eells, James, 1926- American Mathematical Society
3 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2002, Cortesi, Agostino, Hartmanis, Juris Springer Berlin Heidelberg	9 図書 1962 International Conference on High-Energy Physics at CERN, Geneva, 4th-11th July 1962 : proceedings International Conference on High Energy Physics, Prentki, J., International Union of Pure and Applied Physics, European … European Organization for Nuclear Research
4 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2004, Levi, Giorgio, Steffen, Bernhard Springer Berlin / Heidelberg	10 電子ブック Proceedings of the 9th International Conference on Civil Engineering Feng, Guangliang Springer Nature Singapore
5 図書 Parallel programming and applications : proceedings of the Workshop on Parallel Programming and Computation (ZEUS '95) and the 4th Nordic Transputer Conference … Workshop on Parallel Programming and Computation (1995 : Linköping University), Nordic Transputer Conference, Fritzson, … IOS Press	11 電子ブック 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
6 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings SPIN, Bošnački, Dragan, Leue, Stefan Springer	12 電子ブック Proceedings of the 11th international conference on Quality of service IWQoS 2003, Jeffay, Kevin, Stoica, Ion, Wehrle, Klaus, Association for Computing Machinery-Digital Library. Springer Berlin Heidelberg