Zoeken

U zocht naar: Auteur Pichardie, David Filter Auteur: Pichardie, David weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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
2. Static Analysis
thumbnail
Full text!
Auteur:
David Pichardie; Sighireanu, Mihaela
Uitgever:
Springer International Publishing 2020
Type:
e-book