The SPIN model checker : primer and reference manual / Gerard J. Holzmann. primer and reference manual /

Saved in:
Bibliographic Details
Main Author: Holzmann, Gerard J.
Format: Book
Published: Boston, Mass. ; London : Addison-Wesley, c2003.
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 005.14/HOL
Copy [0402905024] Available