2
0
0
0
0
Principles of the Spin model checker [electronic resource]
- 作者: Ben-Ari, M., 1948-
- 其他作者:
- 出版: London : Springer-Verlag London Limited
- 主題: Computer software--Verification , Computer science , Logics and Meanings of Programs. , Operating Systems. , Programming Languages, Compilers, Interpreters. , Programming Techniques. , Software Engineering/Programming and Operating Systems. , Theory of Computation. , SPIN (Computer file)
- ISBN: 9781846287701 (electronic bk.) 、 9781846287695 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
- 內容註: Includes bibliographical references (p. [209]-210) and index.
-
讀者標籤:
- 系統號: 005019191 | 機讀編目格式