Laddar...

Formal specification and verification of digital sytems

Bibliografiska uppgifter
Huvudupphovsman: George Milne
Materialtyp: Printed Book
Språk:English
Publicerad: McGraw-Hill 1994

DCS

Beståndsuppgifter i DCS
Signum: 004
Exemplar Status otillgänglig