Search - List of Books by Gerard Holzmann

Total Books: 2
The SPIN Model Checker Primer and Reference Manual
2011 - The Spin Model Checker Primer and Reference Manual (Paperback)Hardcover
ISBN-13: 9780321773715
ISBN-10: 0321773713
Genre: Computers & Technology
  ?

Design and Validation of Computer Protocols
1990 - Design and Validation of Computer Protocols [Prentice Hall Software Series] (Paperback)
ISBN-13: 9780135399255
ISBN-10: 0135399254
Genre: Computers & Technology
  ?