-
26. The Object-Z Specification Language
by Smith, Graeme
Seller Description: New. Trade paperback (US). Glued binding. 146 p. Advances in Formal Methods, 1. See More Details
2012, Springer
ISBN-13: 9781461374015
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$273.68
-
27. Understanding Z: a Specification Language and Its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
by Spivey, J. M.
Seller Description: Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our ... See More Details
2008, Cambridge University Press
ISBN-13: 9780521054140
Paperback, Good
Waltham Abbey, ESSEX, UNITED KINGDOM
$29.89
-
28. Understanding Z: A Specification Language and its Formal Semantics
by Spivey, J. M.
Seller Description: New. Print on demand Trade paperback (US). Contains: Unspecified. Cambridge Tracts in Theoretical Computer Science . Includes unspecified. Intended for professional and scholarly audience. See More Details
2008, Cambridge University Press
ISBN-13: 9780521054140
Trade paperback, New
NV, USA
$43.62
-
29. Understanding Z: A Specification Language and its Formal Semantics
by Spivey, J. M.
Seller Description: New. Trade paperback (US). Contains: Unspecified. Cambridge Tracts in Theoretical Computer Science . Includes unspecified. Intended for professional and scholarly audience. See More Details
2008, Cambridge University Press
ISBN-13: 9780521054140
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$64.62
-
30. Understanding Z: A Specification Language and its Formal Semantics
by Spivey, J. M.
Seller Description: New. Trade paperback (US). Contains: Unspecified. Cambridge Tracts in Theoretical Computer Science . Includes unspecified. Intended for professional and scholarly audience. See More Details
2008, Cambridge University Press
ISBN-13: 9780521054140
Trade paperback, New
Southport, MERSEYSIDE, UNITED KINGDOM
$68.31
-
31. Understanding Z
by Spivey, J. M.
Seller Description: Fine. Used-Like New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK. See More Details
2007, Cambridge University Press
ISBN-13: 9780521054140
Softcover, Fine/Like New
Bensenville, IL, USA
$52.23
-
32. Formal Specification Using Z
by Lightfoot, D.
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 450grams, ISBN: 9780333763278. See More Details
2001, Palgrave
ISBN-13: 9780333763278
Paperback, Good
Lincoln, UNITED KINGDOM
$19.90
-
33. Formal Specification Using Z
by Lightfoot, D.
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 450grams, ISBN: 9780333763278. See More Details
2001, Palgrave
ISBN-13: 9780333763278
Paperback, Good
Lincoln, UNITED KINGDOM
$19.94
-
34. 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
-
35. 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
|
