Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 22 (weekend SALE ITEM)* 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.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: 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.
Anbieter: GoldBooks, Denver, CO, USA
Zustand: new.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Paperback. Zustand: Very Good. 0387126937 Ex-library paperback in very nice condition with the usual markings and attachments.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,07
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1983
ISBN 10: 3540126937 ISBN 13: 9783540126935
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. The IOTA Programming System | A Modular Programming Environment | R. Nakajima (u. a.) | Taschenbuch | ix | Englisch | 1983 | Springer | EAN 9783540126935 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.