Zoeken

U zocht naar: Auteur Nipkow Filter Auteur: Nipkow weghalen Fulltext online Filter Fulltext: online weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Concrete Semantics
thumbnail
Full text!
Auteur:
Nipkow; Klein, Gerwin
Uitgever:
Springer International Publishing 2014
Type:
e-book
2. FM 2006: Formal Methods
thumbnail
Full text!
Auteur:
Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
3. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Auteur:
Berghofer, Stefan; Kanade, Takeo; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book