Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
A Modular Programming Environment
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Oktober 1983 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 359 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540126935 |
| Seiten | 217 |