-
26. Program Development By Refinement
by Emil Sekerinski; Kaisa Sere
eBook See More Details
1998, Springer Nature
eBook ISBN: 9781852330538
Edition: 1st edition
Format: PDF eBook
Digital download
$135.85
-
27. Program Development By Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (Facit))
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: 9781852330538
paperback, Good
Santa Clarita, CA, USA
$141.46
-
28. Program Development By Refinement
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1998, Springer
ISBN-13: 9781852330538
Paperback, New
Irving, TX, USA
$165.78
-
29. Program Development By Refinement
Seller Description: Brand New. New. See More Details
1998, Springer
ISBN-13: 9781852330538
Paperback, New
New Delhi, DELHI, INDIA
$170.08
-
30. Program Development By Refinement
Seller Description: New, Satisfaction guaranteed! ! See More Details
1998, Springer
ISBN-13: 9781852330538
Paperback, New
Irving, TX, USA
$177.91
-
31. Program Development By Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (Facit))
Seller Description: New. See More Details
1998, Springer
ISBN-13: 9781852330538
paperback, New
Miramar, FL, USA
$194.25
-
32. Program Development by Refinement: Case Studies Using the B Method
by Sekerinski, Emil (Editor), and Sere, Kaisa (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 364 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F. See More Details
1998, Springer
ISBN-13: 9781852330538
Trade paperback, New
NV, USA
$206.66
-
33. Program Development by Refinement: Case Studies Using the B Method
by Sekerinski, Emil (Editor), and Sere, Kaisa (Editor)
Seller Description: New. Trade paperback (US). Glued binding. 364 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F. 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: 9781852330538
Trade paperback, New
Columbia, MD, USA
$234.12
-
34. Program Development by Refinement: Case Studies Using the B Method
by Sekerinski, Emil (Editor), and Sere, Kaisa (Editor)
Seller Description: Fine. Trade paperback (US). Glued binding. 364 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F. 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: 9781852330538
Trade paperback, Fine/Like New
Columbia, MD, USA
$234.12
-
35. Specification in B: an Introduction Using the B Toolkit
by Lano, Kevin, Haughton, Howard
Seller Description: Very good. Fast Shipping-Safe and Secure 7 days a week! See More Details
1996, World Scientific Pub Co Inc
ISBN-13: 9781860940187
paperback, Very Good
center moriches, NY, USA
$14.25
-
36. Specification in B: an Introduction Using the B Toolkit
by Lano, Kevin, Haughton, Howard
Seller Description: Very good. Fast Shipping-Safe and Secure 7 days a week! See More Details
1996, World Scientific Pub Co Inc
ISBN-13: 9781860940088
hardcover, Very Good
center moriches, NY, USA
$14.25
-
37. Software Engineering With B (International Computer Science Series)
by Wordsworth, J. B."
Seller Description: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. See More Details
1996, Addison-Wesley
ISBN-13: 9780201403565
Softcover, New
Highland Park, IL, USA
$15.34
-
38. Software Engineering With B (International Computer Science Series)
by Wordsworth, J. B."
Seller Description: New in New jacket. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. See More Details
1996, Addison-Wesley
ISBN-13: 9780201403565
Softcover, New
Highland Park, IL, USA
$16.53
-
39. Specification in B: Intro Usingthe B Tool
by Haughton Howard; Lano Kevin
eBook See More Details
1996, World Scientific Publishing
eBook ISBN: 9781860940088
Format: PDF eBook
Digital download
$36.00
-
40. The B Language and Method: a Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (Facit))
by Lano, Kevin
Seller Description: Very good. Simply Brit – welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there's something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. ... See More Details
1996, Springer-Verlag
ISBN-13: 9783540760337
Paperback, Very Good
Milton Keynes, BUCKINGHAMSHIRE, UNITED KINGDOM
$45.17
-
41. Specification in B: an Introduction Using the B Toolkit
by Lano, Kevin
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1996, World Scientific Pub Co Inc
ISBN-13: 9781860940088
hardcover, Good
Santa Clarita, CA, USA
$45.88
|
