STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
John S. Fitzgerald | lit.salon
John S. Fitzgerald
No bio available.
Add one in Open Library.
Books by John S. Fitzgerald (50 max)
+ shelf
+ list
Proof in VDM: a practitioner's guide
1994
Juan Carlos Bicarregui, Juan C. Bicarregui, John S. Fitzgerald
+ shelf
+ list
Validated Designs for Object-Oriented Systems
2005
John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
+ shelf
+ list
Abstract State Machines Alloy B Vdm And Z Third International Conference Abz 2012 Pisa Italy June 1821 2012 Proceedings
2012
John S. Fitzgerald
