Gerard J. Holzmann

Gerard J. Holzmann's books

Design And Validation Of Computer Protocols

3.81 avg rating — 16 ratings

The Spin Model Checker: Primer and Reference Manual

3.75 avg rating — 12 ratings

The Early History of Data Networks

4.40 avg rating — 5 ratings

Beyond Photography: The Digital Darkroom

really liked it 4.00 avg rating — 5 ratings

Swarm Verification

0.00 avg rating — 0 ratings

The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

0.00 avg rating — 0 ratings

Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

0.00 avg rating — 0 ratings