John A. McDermid
John A. McDermid
3 books in the database
Books
Software engineer's reference bookJohn A. McDermid
Software engineer's reference book
John A. McDermid · 2013
Formal Specification and Implementation Using ZJohn A. McDermid
Formal Specification and Implementation Using Z
John A. McDermid · 1993
Theory and Practice of RefinementJohn A. McDermid
Theory and Practice of Refinement
John A. McDermid · 1989
Co-authored books and collections
Books that list John A. McDermid among their authors but not as the lead author: co-written works, collections and compilations.
