Zoeken

U zocht naar: Auteur Werner, Benjamin Filter Auteur: Werner, Benjamin weghalen Type e-book Filter Type: e-book weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Types for Proofs and Programs
thumbnail
Full text!
Auteur:
Filliâtre, Jean-Christophe; Kanade, Takeo; Paulin-Mohring, Christine; Werner, Benjamin
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book