The IOTA Programming System

(0)

Erste Bewertung abgeben

Inhalt 1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques f...

Tiefpreis

CHF73.60

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Beschreibung

Inhalt

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.