Current Trends In Hardware Verification And Automated Theorem Proving

Bibliografiska uppgifter
Huvudupphovsman: G. Birtwistle, P A Subrahmanian
Materialtyp: Printed Book
Språk:English
Publicerad: Springer-Verlag 1989
Beskrivning
Fysisk beskrivning:489
ISBN:0-387-96988-8

Liknande verk