Stefano Berardi ; Mario Coppo ; Ferruccio Damiani Types for Proofs and Programs

Types for Proofs and Programs

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Stefano Berardi ; Mario Coppo ; Ferruccio Damiani
Lecture Notes in Computer Science  (3085)
Engels
({{bookPageStaticData?.reviews.length ?? 0}} recensies)
Types for Proofs and Programs, Stefano Berardi ; Mario Coppo ; Ferruccio Damiani - Paperback - 9783540221647
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
{{bookPageStaticData?.averageRatingString}}
{{bookPageStaticData?.averageReviews}}
Nog geen recensies. Wees de eerste!
{{review.title}}
Lees meer Lees minder
{{review.createdOnString}} | {{review.alias}} | {{review.bindingDescription}}
Meer Recensies Toon Minder

Beste boekenliefhebber,

Wat leuk dat je er bent! Om onze website te laten functioneren maken we gebruik van cookies. Kies hieronder welke cookies we mogen plaatsen. 

Onze noodzakelijke cookies verzamelen geen persoonsgegevens en helpen ons de website te verbeteren. Wil je de beste website-ervaring? Kies dan voor alle cookies. 

Meer informatie vind je in ons cookiebeleid.

Geef eventueel je voorkeuren aan:

Hostname: pro-mbooks2