An edition of Software development with Z
(1992)
Software development with Z
a practical approach to formal methods in software engineering
by J. B. Wordsworth
- 1 Want to read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Software development with Z: a practical approach to formal methods in software engineering
1992, Addison-Wesley Pub. Co.
in English
0201627574 9780201627572
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 321-324) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 6, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |