Skip to main content
PBS logo
 
 

Search - List of Books by Gerard Holzmann

Total Books: 2
Design and Validation of Computer Protocols
Design and Validation of Computer Protocols [Prentice Hall Software Series] (Paperback)
ISBN-13: 9780135399255
ISBN-10: 0135399254
Genre: Computers & Technology
  ?
The SPIN Model Checker Primer and Reference Manual
The Spin Model Checker Primer and Reference Manual (Paperback)
ISBN-13: 9780321773715
ISBN-10: 0321773713
Genre: Computers & Technology
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.