-
26. 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
$201.25
-
27. 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
$209.00
-
28. 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
$215.66
-
29. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$234.29
-
30. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$234.62
-
31. 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
$241.89
-
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. 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
$242.14
-
33. 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
$21.25
-
34. 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
$21.25
-
35. 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
$22.34
-
36. 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
$23.53
-
37. 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
$35.31
-
38. 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
-
39. The B Language and Method: a Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (Facit))
by Lano, Kevin
Seller Description: Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our ... See More Details
1996, Springer
ISBN-13: 9783540760337
Paperback, Good
Waltham Abbey, ESSEX, UNITED KINGDOM
$48.46
-
40. 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
$52.88
-
41. The B Language and Method: A Guide to Practical Formal Development
by Lano, Kevin
Seller Description: New. Trade paperback (US). Glued binding. 232 p. Formal Approaches to Computing and Information Technology (F. See More Details
1996, Springer
ISBN-13: 9783540760337
Trade paperback, New
NV, USA
$60.65
-
42. Specification in B: an Introduction Using the B Toolkit
by 0
Seller Description: Brand New. New. See More Details
1996, Imperial College Press
ISBN-13: 9781860940088
New Delhi, DELHI, INDIA
$61.91
-
43. The B Language and Method
Seller Description: New, Satisfaction guaranteed! ! See More Details
1996, Springer
ISBN-13: 9783540760337
Paperback, New
Irving, TX, USA
$70.01
-
44. Specification in B: an Introduction Using the B Toolkit
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1996, Imperial College Press
ISBN-13: 9781860940088
Irving, TX, USA
$76.78
