Computer Aided Verification

Type:

e-book

Titel:

Computer Aided Verification

Auteur:

Swarat Chaudhuri, Azadeh Farzan; Farzan, Azadeh

Taal:

Engels

Uitgever:

Springer International Publishing 2016

ISBN:

3-319-41527-1
3-319-41528-X

Permalink:

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