Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. 217 pp., Paperback, 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 country.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Language: English
Seller: Ammareal, Morangis, France
US$ 5.23
Convert currencyQuantity: 1 available
Add to basketSoftcover. Condition: Bon. Ancien livre de bibliothèque. Livre un peu vrillé. Salissures sur la tranche. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Book slightly twisted. Stains on the edge. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. 0387126937 Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 59.16
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 71.66
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 77.96
Convert currencyQuantity: 10 available
Add to basketPF. Condition: New.
Published by Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.37
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system ¿ KWIC example.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 135.38
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Very Good. book.