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
by International Conference of B and Z User...
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| 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
2002, Springer
in English
3540431667 9783540431664
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| February 25, 2022 | Edited by ImportBot | import existing book |
| December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |