The Way of Z: Practical Programming with Formal Methods
Full Title: | The Way of Z: Practical Programming with Formal Methods |
---|---|
ISBN: | 0521559766 |
ISBN13: | 9780521559768 |
List Price: | USD $48.00 |
Authors: |
Jacky, Jonathan |
Related ISBNs