The IOTA Programming System. A Modular Programming Environment (Lecture Notes in Computer Science 160)

Nakajima, R., Yuasa, T.

ISBN 10: 3540126937 / ISBN 13: 9783540126935

Published by Springer-Verlag, 1983

About this 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. Seller Inventory # ZB885239

Bibliographic Details

Title: The IOTA Programming System. A Modular ...

Publisher: Springer-Verlag

Publication Date: 1983

Binding: Soft cover

Condition: Good

About this title

Synopsis:

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 with he IOTA system - KWIC example.