Formal Specification and Documentation Using Z: A Case Study Approach
Full Title: | Formal Specification and Documentation Using Z: A Case Study Approach |
---|---|
ISBN: | 1850322309 |
ISBN13: | 9781850322306 |
List Price: | USD $44.95 |
Authors: |
Bowen, Jonathan |