Current Trends In Hardware Verification And Automated Theorem Proving

Bibliografiset tiedot
Päätekijä: G. Birtwistle, P A Subrahmanian
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Springer-Verlag 1989

DCS

Saatavuus: DCS
Hyllypaikka: 004.3
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia