Using Z: Specification, Refinement, . . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1996 |
| Authors | Jim Davies |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027451 |
About Using Z: Specification, Refinement, . . .
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. . . .