Proof And Computation
Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20-august 1, 1993
- Collana:
- Nato Asi
- EAN:
9783540585817
- ISBN:
3540585818
- Pagine:
- 477
- Formato:
- Hardback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Proof And Computation
This volume contains a series of lectures by researchers on the impact of formal proofs in computation theory. Several aspects are discussed in detail, including specification and abstract data types, proving techniques, constructive methods, linear logic and concurrency.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti