Skip to main content
PBS logo
 
 

Search - List of Books by Gerard J. Holzmann

Total Books: 5
The SPIN Model Checker Primer and Reference Manual
2003 - The Spin Model Checker Primer and Reference Manual (Hardcover)
ISBN-13: 9780321228628
ISBN-10: 0321228626
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?
The Early History of Data Networks
1994 - The Early History of Data Networks (Hardcover)
ISBN-13: 9780818667824
ISBN-10: 0818667826
Genres: Computers & Technology, Science & Math
  ?
Beyond Photography The Digital Darkroom
1988 - Beyond Photography the Digital Darkroom (Paperback)
ISBN-13: 9780130744104
ISBN-10: 0130744107
Genres: Arts & Photography, Computers & Technology
  ?
The Spin Verification System Dimacs Workshop August 5 1996 [Dimacs Series in Discrete Mathematics and Theoretical Computer Science] (Hardcover)

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.