Formal Specification and Software Development (Mathematics and Its Applications)
Full Title: | Formal Specification and Software Development (Mathematics and Its Applications) |
---|---|
ISBN: | 0133290034 |
ISBN13: | 9780133290035 |
Authors: |
Bjrner, D. |