Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c2002
Omfang	VIII, 242 s.
Emner	Automatisk bevisføring Bevisteori Datastrukturer Datatyper Vis mer... Matematisk logikk - Databehandling Programverifikasjon
ISBN	3540432876

Biblioteksøk