Proceedings of the 8th international SPIN workshop on Model checking of software | 金沢大学附属図書館 OPAC plus

>> Google Books

Proceedings of the 8th international SPIN workshop on Model checking of software

フォーマット:

電子ブック

責任表示:

International SPIN Workshop ; Dwyer, Matthew

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2001

著者名:

ISBN:

9783540421245 [3540421246]

9783540451396 [3540451390]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

その他の標題:	8TH INTERNATIONAL SPIN WORKSHOP, TORONTO, CANADA, MAY 19-20, 2001 PROCEEDINGS
Affiliation:	ACM Sigsoft. Association for Computing Machinery-Digital Library.
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211411
TTLL:	eng

類似資料:

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 電子ブック Model Checking Software Dragan Bošnacki 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 電子ブック Model Checking Software International SPIN Workshop, Ball, Thomas Jaudon, Rajamani, Sriram K. Springer Berlin Heidelberg
3 電子ブック SPIN Model Checking and Software Verification International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem Springer Berlin Heidelberg	9 電子ブック Model Checking Software International SPIN Workshop, Graf, Susanne, Mounier, Laurent Springer Berlin / Heidelberg
4 電子ブック Statistical Modelling : Proceedings of the 19th International Workshop on Statistical Modelling. Florence (Italy) 4-8 July, 2004 Marco Marchi, Biggeri, Annibale	10 電子ブック Proceedings of the 18th international conference on Software engineering Rombach, H. Dieter, Association for Computing Machinery-Digital Library. IEEE Computer Society
5 図書 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings EMSOFT, Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968- Springer	11 電子ブック Proceedings of the 28th international conference on Software engineering Osterweil, Leon J., Association for Computing Machinery-Digital Library. ACM
6 図書 Statistical modelling : proceedings of the 10th International Workshop on Statistical Modelling, Innsbruck, Austria, 10-14 July, 1995 International Workshop on Statistical Modelling, Seeber, G. U. H. (Gilg U. H.) Springer-Verlag	12 図書 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