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

DCS

Bestandesangaben von DCS
Signatur: 004.3
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge