-
76. The Object-Z Specification Language
by Smith, Graeme, Professor
Seller Description: New. Sewn binding. Cloth over boards. 146 p. Contains: Unspecified. Advances in Formal Methods, 1. See More Details
1999, Springer
ISBN-13: 9780792386841
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$269.66
-
77. Zum? ? 98: the Z Formal Specification Notation
Seller Description: Brand New. New. See More Details
1998, Springer
ISBN-13: 9783540650706
Paperback, New
New Delhi, DELHI, INDIA
$49.38
-
78. Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
by Bowen, Jonathan P, Prof. (Editor), and Fett, Andreas (Editor), and Hinchey, Michael G (Editor)
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 424 p. Lecture Notes in Computer Science, 1493. See More Details
1998, Springer
ISBN-13: 9783540650706
Trade paperback, New
NV, USA
$51.65
-
79. Zum? ? 98: the Z Formal Specification Notation
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1998, Springer
ISBN-13: 9783540650706
Paperback, New
Irving, TX, USA
$55.00
-
80. Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
by Bowen, Jonathan P, Prof. (Editor), and Fett, Andreas (Editor), and Hinchey, Michael G (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 424 p. Lecture Notes in Computer Science, 1493. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1998, Springer
ISBN-13: 9783540650706
Trade paperback, New
Columbia, MD, USA
$56.65
-
81. Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
by Bowen, Jonathan P, Prof. (Editor), and Fett, Andreas (Editor), and Hinchey, Michael G (Editor)
Seller Description: Fine. Trade paperback (US). Glued binding. 424 p. Lecture Notes in Computer Science, 1493. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
1998, Springer
ISBN-13: 9783540650706
Trade paperback, Fine/Like New
Columbia, MD, USA
$65.07
-
82. Zum '98: the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)
by Bowen, Jonathan P. [Editor]; Fett, Andreas [Editor]; Hinchey, Michael G. [Editor];
Seller Description: Good. Size: 6x1x9; Ex-library paperback in good condition with the usual markings and attachments. See More Details
1998, Springer
ISBN-13: 9783540650706
Paperback, Good
Spring Branch, TX, USA
$65.08
-
83. Zum? ? 98: the Z Formal Specification Notation
Seller Description: Brand New. New. See More Details
1998, Springer
ISBN-13: 9783540650706
Paperback, New
New Delhi, DELHI, INDIA
$67.59
-
84. Zum '98: the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1998, Springer
ISBN-13: 9783540650706
paperback, Good
Santa Clarita, CA, USA
$82.23
-
85. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: Fair. A well-loved copy with text fully readable and cover pages intact. May display wear such as writing highlighting bends folds or library marks. Still a complete and usable book. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
Softcover, Fair
Arlington, TX, USA
$4.00
-
86. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
paperback, Good
Dallas, TX, USA
$5.00
-
87. The Way of Z: Practical Programming With Formal Methods
by Jacky, J.
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, 700grams, ISBN: 9780521559768. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
Paperback, Good
Lincoln, UNITED KINGDOM
$19.90
-
88. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: New. Size: 6x0x9; New. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
paperback, New
Hayward, CA, USA
$34.88
-
89. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
paperback, Good
Santa Clarita, CA, USA
$45.73
-
90. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: New. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
paperback, New
Miramar, FL, USA
$78.07
-
91. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: New. See More Details
1997, Cambridge University Press
ISBN-13: 9780521559768
paperback, New
Santa Clarita, CA, USA
$93.08
-
92. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Jim Woodcock; Jim Davies
Seller Description: Fair. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Softcover, Fair
Dallas, TX, USA
$6.63
-
93. The Way of Z: Practical Programming With Formal Methods
by Jacky, Jonathan
Seller Description: Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Paperback, Good
Columbia, MO, USA
$7.99
-
94. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Woodcock, Jim|Davies, Jim
Seller Description: Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Softcover, Good
San Jose, CA, USA
$10.67
