×
![]( "Buchcover ISBN 9783540386841")
The IOTA Programming System
A Modular Programming Environment
herausgegeben von R. Nakajima und T. YuasaInhaltsverzeichnis
- 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.
