Zoeken

U zocht naar: Auteur Paulin-Mohring, Christine Filter Auteur: Paulin-Mohring, Christine weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Mathematics of Program Construction
thumbnail
Full text!
Auteur:
Audebaud, Philippe; Kanade, Takeo; Paulin-Mohring, Christine; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
2. 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
3. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Paulin-Mohring, Christine; Pichardie, David
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book