The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160, Band 160) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für The IOTA Programming System: A Modular Programming...
Beispielbild für diese ISBN
The IOTA Programming System. A Modular Programming Environment (Lecture Notes in Computer Science 160)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. ZB885239
Gebraucht kaufen
EUR 8,32
EUR 3,83 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Iota Programming System: A Modular Programming Environment
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540126937
ISBN 13: 9783540126935
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. E-596-349
Gebraucht kaufen
EUR 6,99
EUR 20,50 shipping
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
The IOTA Programming System : A Modular Programming Environment
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 9783540126935
Neu kaufen
EUR 53,49
EUR 61,80 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
The IOTA Programming System | A Modular Programming Environment
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 102154352
Neu kaufen
EUR 50,35
EUR 70,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar