Peruzi
Books
Fiction Books
Title
The SPIN Model Checker: Primer and Reference Manual
Author
Gerard J. Holzmann
Year
2003
Edition
1
Volume
Series
Publisher
Addison-Wesley Professional
City
Language
English
Size: 1.33MB | Pages: | LLC: N/A | DDC: 620/.001/171
Download Links (chm)
Direct Download
Library
Z-Library
Torrent
Open Mirror Link and click
GET
Related Books
No Related Books!