Current Trends In Hardware Verification And Automated Theorem Proving

Bibliographische Detailangaben
1. Verfasser: G. Birtwistle, P A Subrahmanian
Format: Printed Book
Sprache:English
Veröffentlicht: Springer-Verlag 1989
Beschreibung
Beschreibung:489
ISBN:0-387-96988-8

Ähnliche Einträge