Systems and software verification : model-checking techniques and tools | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Systems and software verification : model-checking techniques and tools

種類:: 図書
責任表示:: B. Bérard ...(et al.)
出版情報:: Berlin ; New York : Springer, c2001
著者名:: Bérard, Béatrice
ISBN:: 9783540415237 [3540415238]
注記:: Includes bibliographical references and index
Updated version of the French language edition: "Vérification de logiciels. Techniques et outils du model-checking"

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	コンピュータシステム．ソフトウェア
分類・件名:	NDC9 : 007.63
TTLL:	eng
言語:	英語
形態:	xii, 190 p. : ill. ; 24 cm
書誌ID:	BA52610493

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modelling distributed systems Fokkink, Wan Springer	7 図書 X protocol reference manual : for version 11 of the X window system Scheifler, Robert W., 1954-, Nye, Adrian O'Reilly & Associates, c1989
2 図書 SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings SPIN, Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968- Springer	8 図書 X toolkit intrinsics programming manual : for version 11 of the X window system Nye, Adrian, O'Reilly, Tim O'Reilly & Associates
3 図書 Modeling and Simulation in Scilab/Scicos Campbell, S. L. (Stephen La Vern), 1945-, Chancelier, Jean-Philippe, Nikoukhah, Ramine Springer	9 図書 X toolkit intrinsics reference manual : for version 11 of the X window system O'Reilly, Tim O'Reilly & Associates
4 図書 X window system user's guide : for version 11 of the X window system Quercia, Valerie, O'Reilly, Tim O'Reilly & Associates	10 図書 UNIX System V リリース 4.0 : ソフトウェア・デベロッパ・コンファレンス'88 セミナー・テキスト UNIX System V Release 4.0 Software Developer Conference AT&T
5 図書 Xlib programming manual : for version 11 of the X window system Nye, Adrian O'Reilly & Associates	11 電子ブック Software Tools and Algorithms for Biological Systems Arabnia, Hamid R., Tran, Quoc-Nam, SpringerLink (Online service) Springer Science+Business Media, LLC
6 図書 Xlib reference manual : for version 11 of the X window system Nye, Adrian O'Reilly & Associates	12 図書 Tool support for system specification, development and verification Berghammer, R. (Rudolf), 1952-, Lakhnech, Y. Springer