Z Computer program language - Alibris UK (page 2)

Digital download

$116.35

27. 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

Alibris Digital

Digital download

$16.50

28. Formal Specification Using Z (Pb 2001)

by Lightfoot

Seller Description: Brand New. New. See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Paperback, New

Educational Media Centre

New Delhi, DELHI, INDIA

$43.45

29. Formal Specification Using Z (Grassroots)

by David Lightfoot

Seller Description: Brand New. New. See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Educational Media Centre

New Delhi, DELHI, INDIA

$48.42

30. Formal Specification Using Z (Pb 2001)

Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Irving, TX, USA

$53.32

31. Formal Specification Using Z (Pb 2001)

Seller Description: New, Satisfaction guaranteed! ! See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Irving, TX, USA

$54.32

32. Formal Specification Using Z (Pb 2001)

Seller Description: Brand New. New Book Original US edition, We Ship to PO BOX Address also. See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

discount_scientific_books

Sterling Heights, MI, USA

$56.44

33. Formal Specification Using Z (Grassroots)

Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Irving, TX, USA

$58.29

34. Formal Specification Using Z (Grassroots, 4)

by Lightfoot, David

Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

paperback, Good

Bonita

Santa Clarita, CA, USA

$64.31

35. Formal Specification Using Z (Grassroots)

Seller Description: New, Satisfaction guaranteed! ! See More Details

2000, Red Globe Press

ISBN-13: 9780333763278

Irving, TX, USA

$71.77

36. Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing, 4)

by Duke, Roger

Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

2000, Red Globe Press

ISBN-13: 9780333801239

paperback, Good

Bonita

Santa Clarita, CA, USA

$81.91

37. Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, Uk, August 29-September 2, 2000 Proceedings (Lecture Notes in Computer Science, 1878)

Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, Uk, August 29-September 2, 2000 Proceedings (Lecture Notes in Computer Science, 1878)

Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

2000, Springer

ISBN-13: 9783540679448

paperback, Good

Bonita

Santa Clarita, CA, USA

$95.57

38. The Object-Z Specification Language (Advances in Formal Methods (1))

by Graeme Smith

Seller Description: Good; Hardcover; 1999, Springer-Verlag Publishing; Former library copy with standard library markings; Moderate wear to covers; Library stamps to endpapers; Text pages clean & unmarked; Good binding with straight spine; Blue covers with title in white lettering; 146 pages; "The Object-Z Specification Language (Advances in Formal Methods), " by Graeme Smith. See More Details

1999, Springer-Verlag Publishing

ISBN-13: 9780792386841

Hardcover, Good

Salish Sea Books

Bellingham, WA, USA

$56.95