The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Bibliographic Details
Main Author: Holzmann, Gerald J., 1951-
Format: Book
Language:English
Published: Boston, MA : Addison-Wesley, c2004.
Subjects:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Holdings details from Ayesha Abed Library: General Shelf
Call Number: 620.001171 HOL
Copy 1 Available  Place a Hold
Copy 2 Available  Place a Hold

Similar Items