Zoeken

U zocht naar: Auteur Dillig Filter Auteur: Dillig weghalen Type e-book Filter Type: e-book weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Dillig; Tasiran, Serdar
Uitgever:
Springer International Publishing 2019
Type:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Auteur:
Dillig; Tasiran, Serdar
Uitgever:
Springer International Publishing 2019
Type:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Dillig; Jens Palsberg; Palsberg, Jens
Uitgever:
Springer International Publishing 2018
Type:
e-book