Thierry Coquand & Peter Dybjer 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES’99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers

Ondersteuning
€58.04
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9783540445579 ● Editor Thierry Coquand & Peter Dybjer ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2003 ● Downloadbare 3 keer ● Valuta EUR ● ID 6376559 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

16.777 E-boeken in deze categorie