Zoeken

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

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Enea; Piskac, Ruzica
Uitgever:
Springer International Publishing 2019
Type:
e-book
2. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Piskac; Philipp Rümmer; Rümmer, Philipp
Uitgever:
Springer International Publishing 2018
Type:
e-book