Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2 - detaljert visning

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

TYPES 2003
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	X, 408 s. : ill.
Emner	Automatisk bevisføring Bevisteori Datastrukturer Datatyper Vis mer... Matematisk logikk - Databehandling Programverifikasjon
ISBN	3540221646