Model Checking Software

>> Google Books

Model Checking Software

フォーマット:

電子ブック

責任表示:

International SPIN Workshop ; Graf, Susanne ; Mounier, Laurent

言語:

英語

出版情報:

Springer Berlin / Heidelberg, 2004

著者名:

ISBN:

9783540213147 [3540213147]

9786610307197 [6610307199]

9781280307195 [1280307196]

9783540247326 [3540247327]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

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

詳細

その他の標題:	11TH INTERNATIONAL SPIN WORKSHOP, BARCELONA, SPAIN, APRIL 1-3, 2004, PROCEEDINGS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212349
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック Theoretical and Practical Aspects of SPIN Model Checking SPIN '99, Dams, Dennis Springer Berlin Heidelberg
2 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings SPIN, Bošnački, Dragan, Leue, Stefan Springer	8 図書 Symbolic model checking for large software specifications Chan, Woon Chung UMI Dissertaion Services
3 図書 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings SPIN, Dwyer, Matthew, 1963- Springer	9 図書 Systems and software verification : model-checking techniques and tools Bérard, Béatrice Springer
4 電子ブック SPIN Model Checking and Software Verification International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem Springer Berlin Heidelberg	10 図書 Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers VMCAI, Cortesi, Agostino Springer
5 電子ブック Model Checking Software Dragan Bošnacki Springer Berlin Heidelberg	11 図書 Model checking Clarke, Edmund, Grumberg, Orna, Peled, Doron MIT Press
6 電子ブック Model Checking Software International SPIN Workshop, Ball, Thomas Jaudon, Rajamani, Sriram K. Springer Berlin Heidelberg	12 電子ブック Humanités numériques : Une histoire critique Mounier Éditions de la Maison des sciences de l’homme