John A. McDermid

No bio available. Add one in Open Library.

Books by John A. McDermid (50 max)

+ shelf+ list

Software engineering environments: automated support for software engineering

1992

Alan W. Brown, Anthony N. Earl, John A. McDermid

+ shelf+ list

Software engineer's reference book

1992

John A. McDermid

+ shelf+ list

Error recovery techniques for fault tolerant distributed computer systems.

1981

John A. McDermid

+ shelf+ list

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

1989

John A. McDermid

+ shelf+ list

Formal Specification and Implementation Using Z

1993

John A. McDermid