𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Viewpoint specification and Z

✍ Scribed by M Ainsworth; A.H Cruickshank; P.J.L Wallis; L.J Groves

Book ID
103969628
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
800 KB
Volume
36
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Z and system specification
Z and system specification
✍ Darrel Ince πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 776 KB
Using Z.Specification,refinement,and pro
Using Z.Specification,refinement,and proof
✍ Jim Woodcock, Jim Davies πŸ“‚ Library πŸ“… 1996 πŸ› Prentice Hall 🌐 English βš– 5 MB

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. It shows how Z specifications may be refined to produce executable code; thi