Formal Specification & Documentation Using Z: A Case Study Approach
Jonathan Bowen
Formal Specification & Documentation Using Z: A Case Study Approach - International Thomson Computer Press ©1996
9781850322306 95.85
005.12 BOW
Formal Specification & Documentation Using Z: A Case Study Approach - International Thomson Computer Press ©1996
9781850322306 95.85
005.12 BOW