Shop $2.99 books while stocks last SHOP NOW

FREE US SHIPPING OVER $15 Free US Shipping over $15

OVER 100 MILLION BOOKS REHOMED

Books by Gerard J Holzmann

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols

Author: Gerard J Holzmann

View Product

Design and Validation of Computer Protocols

Design and Validation of Computer Protocols

Author: Gerard J Holzmann

View Product

The SPIN Model Checker

The SPIN Model Checker

Author: Gerard J Holzmann

View Product

The Early History of Data Networks

The Early History of Data Networks

Author: Gerard J Holzmann

View Product

48