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. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 22 (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. Bestandsnummer des Verkäufers ZB885239
Gebraucht kaufen
EUR 8,26
EUR 3,84 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. Bestandsnummer des Verkäufers 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
Beispielbild für diese ISBN
The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160)
Anbieter: GoldBooks, Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 12X35_99_3540126937
Neu kaufen
EUR 44,55
EUR 3,63 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 (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. 0387126937 Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers DA1412442
Gebraucht kaufen
EUR 45,32
EUR 5,97 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 (Lecture Notes in Computer Science, 160)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020159908
Neu kaufen
EUR 52,01
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The IOTA Programming System: A Modular Programming Environment (Lecture Notes in Computer Science, 160)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540126935
Neu kaufen
EUR 65,06
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The IOTA Programming System : A Modular Programming Environment
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540126935
Neu kaufen
EUR 56,07
EUR 17,69 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
The IOTA Programming System
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 232. Bestandsnummer des Verkäufers 263099470
Neu kaufen
EUR 72,55
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The IOTA Programming System
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 232 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5829777
Neu kaufen
EUR 74,70
EUR 7,42 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The IOTA Programming System
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 232. Bestandsnummer des Verkäufers 183099460
Neu kaufen
EUR 76,82
EUR 9,95 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar