Zoeken

U zocht naar: Auteur Miculan, Marino Filter Auteur: Miculan, Marino weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Types for Proofs and Programs
thumbnail
Full text!
Auteur:
Miculan, Marino; Honsell, Furio; Kanade, Takeo; Scagnetto, Ivan
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book