Zoeken

U zocht naar: Auteur Jun Filter Auteur: Jun weghalen Bibliotheek PENTA Filter Bibliotheek: PENTA weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Constraint-based verification.
thumbnail
Auteur:
Yuan, Jun; Aziz, Adnan; Pixley, Carl
Uitgever:
New York : Springer, 2006
Jaar:
2006
Type:
boek