The spin model checker : primer and reference manual
- Author
- Gerard J Holzmann
- Publisher
- Addison-Wesley
- Language
- English
- Year
- 2004
- Page
- xii, 596 p. : ill. ; 25 cm
- ISBN
- 0321228626,9780321228628
- File Type
- gz
- File Size
- 22.4 KiB
How to Download?!!!
Just click on START button on Telegram Bot