Alta reperibilità
The IOTA Programming System
A Modular Programming Environment
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540126935
- ISBN:
3540126937
- Pagine:
- 232
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione The IOTA Programming System
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti