Loading...

Formal specification and verification of digital sytems

Bibliografiske detaljer
Hovedforfatter: George Milne
Format: Printed Book
Sprog:English
Udgivet: McGraw-Hill 1994

DCS

Detaljer om beholdninger fra DCS
Klassifikationsnummer: 004
Kopi Live Status Unavailable