The SPIN model checker : primer and reference manual / Gerard J. Holzmann. primer and reference manual /
Saved in:
Main Author: | Holzmann, Gerard J. |
---|---|
Format: | Book |
Language: | English |
Published: |
Boston, Mass. ; London :
Addison-Wesley,
c2003.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical theory of computation / Zohar Manna.
by: Manna, Zohar
Published: (2003) -
The art of software testing.
by: Myers, Glenford J., 1946-
Published: (2012) -
Algorithmic program debugging Ehud Y. Shapiro.
by: Shapiro, Ehud Y.
Published: (1983) -
Find the bug : a book of incorrect programs / Adam Barr.
by: Barr, Adam
Published: (2005) -
Why programs fail : a guide to systematic debugging / Andreas Zeller.
by: Zeller, Andreas
Published: (2005)