-
76. 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
$100.08
-
77. Using Z: Specification, Refinement, and Proof
by Jim Woodcock, Jim Davies
Seller Description: Very good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Textbook Binding, Very Good
London, UNITED KINGDOM
$1.31
-
78. An Introduction to Formal Specification and Z
by Potter, Ben; Till, David; Sinclair, Jane
Seller Description: Very Good. xiv + 434 pages, appendices, bibliography, list of symbols, index, (Prentice Hall International Series in Computer Science). See More Details
1996, Prentice Hall Europe
ISBN-13: 9780132422079
Paperback, Very Good
Bridlington, EAST RIDING OF YORKSHIRE, UNITED KINGDOM
$2.54
-
79. Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)
by Ben Potter, Jane Sinclair, David Till
Seller Description: Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. See More Details
1996, Prentice Hall
ISBN-13: 9780132422079
Paperback, Good
London, UNITED KINGDOM
$6.72
-
80. An Introduction to Formal Specification and Z
by Potter, B. Et Al
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings. 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, 850grams, ISBN: 9780132422079. See More Details
1996, Prentice Hall
ISBN-13: 9780132422079
Paperback, Good
Lincoln, UNITED KINGDOM
$13.78
-
81. 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
$14.99
-
82. Using Z: Specification, Refinement, and Proof
by Woodcock, J. And Davies, J.
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings. 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, 850grams, ISBN: 9780139484728. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Paperback, Good
Lincoln, UNITED KINGDOM
$15.28
-
83. Using Z: Specification, Refinement, and Proof
by Woodcock, J. And Davies, J.
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings. 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, 850grams, ISBN: 9780139484728. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Paperback, Good
Lincoln, UNITED KINGDOM
$16.26
-
84. 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
$16.43
-
85. 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 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
$22.51
-
86. The Way of Z: Practical Programming with Formal Methods
by Jacky, Jonathan
Seller Description: Good. Trade paperback (US). Glued binding. 372 p. Contains: Unspecified, Figures. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Trade paperback, Good
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$55.59
-
87. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Woodcock, Jim
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
paperback, Good
Santa Clarita, CA, USA
$57.46
-
88. Introduction to Formal Specification and Z
by Till, David
Seller Description: New. See More Details
1996, Prentice Hall
ISBN-13: 9780132422079
paperback, New
Miramar, FL, USA
$71.38
-
89. The Way of Z: Practical Programming with Formal Methods
by Jacky, Jonathan
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 372 p. Contains: Unspecified, Figures. See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Trade paperback, New
NV, USA
$81.41
-
90. 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
-
91. The Way of Z: Practical Programming with Formal Methods
by Jacky, Jonathan
Seller Description: New. Trade paperback (US). Glued binding. 372 p. Contains: Unspecified, Figures. See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$88.28
-
92. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Woodcock, Jim
Seller Description: New. See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
paperback, New
Miramar, FL, USA
$90.80
-
93. The Way of Z: Practical Programming with Formal Methods
by Jacky, Jonathan
Seller Description: New. Trade paperback (US). Glued binding. 372 p. Contains: Unspecified, Figures. See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Trade paperback, New
Southport, MERSEYSIDE, UNITED KINGDOM
$93.41
-
94. The Way of Z (Practical Programming With Formal Methods)
by Jacky, Jonathan
Seller Description: New. Size: 110x13x148; In shrink wrap. Looks like an interesting title! See More Details
1996, Cambridge University Press
ISBN-13: 9780521559768
Paperback, New
San Diego, CA, USA
$105.50
-
95. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
by Woodcock, Jim; Davies, Jim
Seller Description: New. Size: 8x6x1; In shrink wrap. Looks like an interesting title! See More Details
1996, Prentice Hall
ISBN-13: 9780139484728
Paperback, New
San Diego, CA, USA
$119.22
-
96. Zum '95: the Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings
by Bowen, Jonathan P.; Hinchey, Michael G. (Eds. )
Seller Description: Very Good/Wraps. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular ... See More Details
1995, Springer-Verlag
ISBN-13: 9783540602712
Paperback, Good
Lexington, MA, USA
$57.00
-
97. Z in Practice
by Stepney, Susan
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1995, Prentice Hall
ISBN-13: 9780131249349
textbook, Good
Santa Clarita, CA, USA
$86.64
