The IOTA Programming System

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540126935
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: IX, 217 p.
• Pagine Arabe: 217
• Pagine Romane: ix