Computer Aided Verification

Type:

e-book

Titel:

Computer Aided Verification

Auteur:

Sharygina, Natasha; Veith, Helmut; Veith, Helmut

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2013

ISBN:

3-642-39798-0
3-642-39799-9

Permalink:

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