Zoeken

U zocht naar: Auteur Berardi, Stefano Filter Auteur: Berardi, Stefano weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Types for Proofs and Programs
thumbnail
Full text!
Auteur:
Berardi, Stefano; Damiani, Ferruccio; Kanade, Takeo; de Liguoro, Ugo
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book