Zoeken

U zocht naar: Auteur Miller, Dale Filter Auteur: Miller, Dale weghalen Type e-book Filter Type: e-book weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Certified Programs and Proofs
thumbnail
Full text!
Auteur:
Hawblitzel; Miller, Dale
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
2. Automated Reasoning
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Miller, Dale; Sattler, Ulrike
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book