Beschreibung
Inhaltsangabe1. 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.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
![Produktbild: [1) Epsilon - Iota. 2) Kappa - Omicron]](http://medien.umbreitkatalog.de/bildzentrale/978/311/066/7196.jpg)
