-
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. Specification in B: Intro Usingthe B Tool
by Haughton Howard; Lano Kevin
eBook See More Details
1996, World Scientific Publishing
eBook ISBN: 9781860940088
Format: PDF eBook
Digital download
$36.00
-
3. Program Development By Refinement
by Emil Sekerinski; Kaisa Sere
eBook See More Details
1998, Springer Nature
eBook ISBN: 9781852330538
Edition: 1st edition
Format: PDF eBook
Digital download
$62.70
|
