Browse
FAQ

Author

Gerard Holzmann

9 books found

Cover of More Geometric Knit Blankets

More Geometric Knit Blankets

Margaret Holzmann, Gerard Holzmann · First published 2022

Cover of Safe at Home

Safe at Home

Gerard Holzmann, Margaret Holzmann · First published 2022

Cover of NASA Formal Methods

NASA Formal Methods

Klaus Havelund, Gerard Holzmann, Rajeev Joshi · First published 2011

Cover of Spin Model Checker

Spin Model Checker

Gerard J. Holzmann · First published 2003

Cover of Partial order methods in verification

Partial order methods in verification

Vaughan R. Pratt, Gerard J. Holzmann · First published 1997

Cover of The early history of data networks

The early history of data networks

Gerard J. Holzmann · First published 1995

Cover of Design and validation of computer protocols

Design and validation of computer protocols

Gerard J. Holzmann · First published 1991

Cover of Beyond photography

Beyond photography

Gerard J. Holzmann · First published 1988

Placeholder cover for Coordination problems in multiprocessing systems

Coordination problems in multiprocessing systems

Gerard Johan Holzmann · First published 1979