Zoeken

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

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Shoham, Sharon; Vizel, Yakir
Uitgever:
Springer International Publishing 2022
Type:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Auteur:
Shoham, Sharon; Vizel, Yakir
Uitgever:
Springer International Publishing 2022
Type:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Fritz Henglein; Shoham, Sharon; Vizel, Yakir
Uitgever:
Springer International Publishing 2021
Type:
e-book