Formal Methods Software Development (71 results)
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 6.28
US$ 6.71 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 3.78
US$ 9.39 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Good
US$ 8.62
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Softcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley
Contact seller5-star sellerCondition: Used - Good
US$ 12.31
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: good. 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.
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Good
US$ 6.31
US$ 11.59 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Softcover
Seller: Lowry's Books, Three Rivers, MI, U.S.A.Lowry's Books
Contact seller4-star sellerCondition: Used - Very good
US$ 15.00
US$ 5.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Good
US$ 9.27
US$ 16.77 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Dust Jacket. Lecture Notes in Computer Science 552; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly gru…bby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
US$ 23.16
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 430 pp., Hardback, rebound in buckram , ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's cou…ntry.
Language: English
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer 1985
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, , Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 17.85
US$ 18.49 shippingShips from Germany to U.S.A.Quantity: 2 available
Broschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englis…ch Gewicht in Gramm: 740.
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
US$ 38.00
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Good
US$ 39.54
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 48.66
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 49.88
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, , Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 11.88
US$ 18.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover-Grossformat. Condition: Gut. 149 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht berieben, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 420.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 51.59
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. 1st Edition.
- Softcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 47.23
US$ 8.72 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used.
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 49.80
US$ 11.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.67
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.32
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee. Book.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 49.88
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.29
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186)
Ehrig, Helmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
- Softcover
Seller: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, GermanyPaderbuch e.Kfm. Inh. Ralf R. Eichmann
Contact seller5-star sellerCondition: Used - Very good
US$ 35.82
US$ 40.57 shippingShips from Germany to U.S.A.Quantity: 1 available
paperback. Condition: Good. Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher (ed.): Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science…Vol. 186). Springer Verlag, Berlin 1985. Broschur, 455 Seiten; etwas gewellt, sonst ordentlicher Zustand. - Text nur in Englisch / English only.
- Softcover
Seller: NEPO UG, Rüsselsheim am Main, , GermanyNEPO UG
Contact seller5-star sellerCondition: Used - Very good
US$ 52.70
US$ 27.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Gut. 444 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1391.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 67.36
US$ 16.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 63.40
US$ 20.78 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 : Colloquium on Software Engineering (Cse)
Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 80.78
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.19
US$ 16.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.19
US$ 16.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.29
US$ 20.78 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.61
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
