Wird geladen...

Formal specification and verification of digital sytems

Bibliographische Detailangaben
1. Verfasser: George Milne
Format: Printed Book
Sprache:English
Veröffentlicht: McGraw-Hill 1994

DCS

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