Search - List of Books by Gerard J. Holzmann

Total Books: 5
The SPIN Model Checker  Primer and Reference Manual
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)