An edition of ZB 2002: formal specification and development in Z and B
(2002)
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
1 edition
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
March 5, 2002, Springer
Paperback
in English
- 1 edition
3540431667 9783540431664
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"A classic paper by Burstall and Goguen in 1977 [2] taught us to think about data types used in computer programs as logical theories, presented by axioms, whose properties can be explored by logical deduction."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 29, 2014 | Created by ImportBot | import new book |