作者 John A. McDermid 的书籍 - BookPine

Formal Specification and Implementation Using Z

Formal Specification and Implementation Using Z

John A. McDermid

Software Engineer's Reference Book

Software Engineer's Reference Book

John A. McDermid

Software Engineering Environments: Automated Support for Software Engineering

Software Engineering Environments: Automated Support for Software Engineering

Alan W. Brown

ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings

ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings

Carlo Ghezzi

The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

John A. McDermid