Skip to main content
PBS logo
 
 

Search - List of Books by Gerard J. Holzmann

Total Books: 5
Beyond Photography The Digital Darkroom
Beyond Photography the Digital Darkroom (Paperback)
ISBN-13: 9780130744104
ISBN-10: 0130744107
Genres: Arts & Photography, Computers & Technology
  ?

The Early History of Data Networks
The Early History of Data Networks (Hardcover)
ISBN-13: 9780818667824
ISBN-10: 0818667826
Genres: Computers & Technology, Science & Math
  ?

The SPIN Model Checker  Primer and Reference Manual
The Spin Verification System Dimacs Workshop August 5 1996 [Dimacs Series in Discrete Mathematics and Theoretical Computer Science] (Hardcover)