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

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 2575 <BA00009279>

ISBN:

9783540003489 [3540003487]

注記:

Includes bibliographies and index
Other editors: Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	総記--情報学．情報科学
TTLL:	eng
言語:	英語
形態:	xi, 323 p. : ill. ; 24 cm
書誌ID:	BA60720001

内容紹介

目次情報

類似資料:

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 電子ブック Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, … Qiu, Meikang., SpringerLink (Online service) Springer International Publishing : Imprint: Springer
2 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings SAS, Cortesi, Agostino, Filé, Gilberto Springer	8 電子ブック Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, … Qiu, Meikang., SpringerLink (Online service) Springer International Publishing : Imprint: Springer
3 図書 Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings Workshop on Languages and Compilers for Parallel Computing, Chatterjee, Siddhartha Springer	9 電子ブック Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, … Qiu, Meikang., SpringerLink (Online service) Springer International Publishing : Imprint: Springer
4 図書 Financial cryptography : 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004 : revised papers International Conference on Financial Cryptography, Juels, Ari Springer	10 図書 ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael … Springer
5 図書 Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on … FOSSACS, European Conferences on Theory and Practice of Software, Gordon, Andrew D. Springer	11 図書 Financial cryptography : 6th International Conference, FC 2002, Southampton, Bermuda, March 11-14, 2002 : reveised papers International Conference on Financial Cryptography, Blaze, Matt Springer
6 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot Springer	12 図書 Euro-Par'98 parallel processing : 4th international Euro-Par conference Southampton, UK,September 1-4, 1998 proceedings Pritchard, David, Reeve, Jeff, Springer