Systems and software verification : model-checking techniques and tools | 金沢大学附属図書館 OPAC plus

>> Google Books

QRコード(所蔵情報)

Systems and software verification : model-checking techniques and tools

フォーマット:: 図書
責任表示:: B. Bérard ... [et al.]
言語:: 英語
出版情報:: Berlin ; New York : Springer, c2001
形態:: xii, 190 p. : ill. ; 24 cm
著者名:: Bérard, Béatrice
書誌ID:: BA52610493
ISBN:: 9783540415237 [3540415238]

子書誌情報

所蔵情報

Loading availability information

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

詳細

その他の標題:	Vérification de logicies. Techniques et outils du model-checking
主題:	コンピュータシステム．ソフトウェア
注記:	Includes bibliographical references and index Updated version of the French language edition: "Vérification de logiciels. Techniques et outils du model-checking" : Vuibert : Paris, c1999
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Symbolic model checking for large software specifications Chan, Woon Chung UMI Dissertaion Services	7 電子ブック Model Checking Software International SPIN Workshop, Ball, Thomas Jaudon, Rajamani, Sriram K. Springer Berlin Heidelberg
2 電子ブック SPIN Model Checking and Software Verification International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem Springer Berlin Heidelberg	8 電子ブック Model Checking Software International SPIN Workshop, Graf, Susanne, Mounier, Laurent Springer Berlin / Heidelberg
3 図書 Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final … Deutsche Forschungsgemeinschaft, Ehrig, Hartmut, Damm, Werner, Desel, Jörg, Groβe-Rhode, Martin, Reif, Wolfgang, … Springer	9 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2002, Cortesi, Agostino, Hartmanis, Juris Springer Berlin Heidelberg
4 電子ブック Software validation, verification, and testing technique and tool reference guide Powell, Patricia B. U.S. Dept. of Commerce, National Institute of Standards and Technology	10 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2003, Zuck, Lenore D. Springer Berlin Heidelberg
5 図書 Engineering theories of software construction Hoare, Tony, Broy, M., 1949-, Steinbrüggen, Ralf IOS Press	11 電子ブック Verification, Model Checking, and Abstract Interpretation VMCAI 2004, Levi, Giorgio, Steffen, Bernhard Springer Berlin / Heidelberg
6 電子ブック Model Checking Software Dragan Bošnacki Springer Berlin Heidelberg	12 図書 Behavioral intervals in embedded software : timing and power analysis of embedded real-time software processes Wolf, Fabian Kluwer Academic