ISBN: 9783540126935 - the iota programming system: a modular programming environment (lecture notes in computer science, 160, band 160) (4 Ergebnisse)

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.…

Zustand: New. In English.

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. …

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. …