Gerard Holzmann
Identifiers
- Open LibraryOL7921369A
Top Subjects
- Handicraft (2)
- Computer software, testing (1)
- Systems engineering (1)
Books by Gerard Holzmann
Total count: 4
-
Spin Model CheckerPrimer and Reference ManualPearson Education, Limited2003-01-01
-
NASA Formal MethodsThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, ProceedingsSpringer2011-01-01
-
Safe at HomeBlankets to Celebrate Our Favorite ThingsMargaret H. Holzmann2022-01-01
-
More Geometric Knit Blankets25 New and Bold DesignsMargaret H. Holzmann2022-01-01