Computer Aided Verification

Type:

e-book

Titel:

Computer Aided Verification

Auteur:

Armin Biere, Roderick Bloem; Bloem, Roderick; Kittler, Josef

Taal:

Engels

Uitgever:

Springer International Publishing 2014

ISBN:

3-319-08866-1
3-319-08867-X

Permalink:

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