High-Level Verification

Type:

e-book

Titel:

High-Level Verification

Auteur:

Lerner, Sorin; Gupta, Rajesh Kumar; Kundu, Sudipta; Gupta, Rajesh K.

Taal:

Engels

Uitgever:

Springer New York 2011

ISBN:

1-4419-9358-4
1-4939-0101-X
1-4419-9359-2

Permalink:

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