-
1. Zb 2000: Formal Specification and Development in Z and B
by Stephen Dunne; Jonathan P. Bowen; Steve King
eBook See More Details
2000, Springer Nature
eBook ISBN: 9783540679448
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
2. Management of Uncertainty Using Linguistic Z-Numbers
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031658532
Edition: 2024 edition
Format: EPUB eBook
Digital download
$65.70
-
3. Refinement in Z and Object-Z
by John Derrick; Eerke A. Boiten
eBook See More Details
2001, Springer Nature
eBook ISBN: 9781852332457
Edition: Softcover Reprint of the Origi edition
Format: PDF eBook
Digital download
$53.70
-
4. The Object-Z Specification Language
by Graeme Smith
eBook See More Details
1999, Springer Nature
eBook ISBN: 9780792386841
Edition: 2000 edition
Format: PDF eBook
Digital download
$62.70
-
5. The Way of Z
by Jonathan Jacky
eBook See More Details
1996, Cambridge University Press
eBook ISBN: 9780521559768
Format: PDF eBook
Digital download
$83.00
