The Theory and Practice of Refinement
Approaches to the Formal Development of Large-Scale Software Systems
- 1st Edition - January 1, 1989
- Latest edition
- Author: John A McDermid
- Language: English
Product details
Product details
- Edition: 1
- Latest edition
- Published: January 1, 1989
- Language: English