Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December - detaljert visning

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

TYPES 2004
Bok Engelsk 2006


Utgitt	Berlin : Springer , c2006
Omfang	VIII, 273 s. : fig.
Emner	Datastrukturer Datatyper Matematisk logikk - Databehandling
ISBN	3540314288. - 9783540314288