Normal view MARC view ISBD view

Principles of the spin model checker

Ben-Ari, Mordechai

Principles of the spin model checker Mordechai Ben-Ari. - London : Springer, ©2008. - xv, 216 p. ; 24 cm.

Includes bibliographical references (p. [209]-210) and index.

ISBN: 9781846287695

LCCN: 2007941384

Nat. Bib. No.: GBA771506 bnb

Nat. Bib. Agency Control No.: 013834419 Uk

Subjects--Uniform Titles:
SPIN (Computer file)

Subjects--Topical Terms:
Computer software--Verification.

LC Class. No.: QA76.76.V47 / B46 2008

Dewey Class. No.: 005.14 / BEN-P

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)