Model Checking Software

Type:

e-book

Titel:

Model Checking Software

Auteur:

Dragan Bošnački, Anton Wijs; Wijs, Anton

Taal:

Engels

Uitgever:

Springer International Publishing 2016

ISBN:

3-319-32581-7
3-319-32582-5

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000653148