-
51. 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
$54.99
-
52. 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
$57.12
-
53. Formal Specification Using Z (Grassroots)
Seller Description: Brand New. New. See More Details
2000, Red Globe Press
ISBN-13: 9780333763278
New Delhi, DELHI, INDIA
$62.72
-
54. Formal Specification Using Z (Grassroots)
Seller Description: Brand New. New. See More Details
2000, Red Globe Press
ISBN-13: 9780333763278
New Delhi, DELHI, INDIA
$63.41
-
55. 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
Santa Clarita, CA, USA
$64.31
-
56. Formal Specification Using Z (Grassroots)
Seller Description: New, Satisfaction guaranteed! ! See More Details
2000, Red Globe Press
ISBN-13: 9780333763278
Irving, TX, USA
$71.13
-
57. 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: New. See More Details
2000, Springer
ISBN-13: 9783540679448
paperback, New
Miramar, FL, USA
$93.44
-
58. 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
Santa Clarita, CA, USA
$95.57
-
59. Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing, 4)
by Rose, Gordon
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
Santa Clarita, CA, USA
$108.60
-
60. 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: New. See More Details
2000, Springer
ISBN-13: 9783540679448
paperback, New
Santa Clarita, CA, USA
$128.63
-
61. The Essence of Z
by Ed Currie
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1999, Prentice Hall Europe
ISBN-13: 9780137498390
paperback, Good
Santa Clarita, CA, USA
$49.41
-
62. The Object-Z Specification Language
by Graeme Smith
eBook See More Details
1999, Springer Nature
eBook ISBN: 9780792386841
Edition: 2000 edition
Format: PDF eBook
Digital download
$62.70
-
63. The Object-Z Specification Language
by Smith, Graeme
Seller Description: Good/No Jacket. 0792386841 Ex-Library Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows light wear. 146 pages. See More Details
1999, Kluwer Academic Publishers
ISBN-13: 9780792386841
Hardcover, Good
Corydon, IA, USA
$105.00
-
64. The Object-Z Specification Language
Seller Description: Brand New. New. See More Details
1999, Springer
ISBN-13: 9780792386841
New Delhi, DELHI, INDIA
$166.21
-
65. The Object-Z Specification Language (Advances in Formal Methods, 1)
by Smith, Graeme
Seller Description: New. Size: 9x6x0; New. In shrink wrap. Looks like an interesting title! See More Details
1999, Springer
ISBN-13: 9780792386841
Hardcover, New
San Diego, CA, USA
$187.30
-
66. 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
NV, USA
$215.66
