Details
- Autor(en) / Beteiligte
- Titel
- The IOTA Programming System : A Modular Programming Environment [electronic resource]
- Auflage
- 1st ed. 1983
- Ort / Verlag
- Berlin, Heidelberg : Springer Berlin Heidelberg
- Erscheinungsjahr
- 1983
- Link zum Volltext
- Beschreibungen/Notizen
- Bibliographic Level Mode of Issuance: Monograph
- 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.
- English
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3-540-38684-XDOI: 10.1007/3-540-12693-7Titel-ID: 9925034851206463
- Format
- 1 online resource (IX, 217 p.)
- Schlagworte
- Software engineering, Software Engineering