Laddar...

Formal specification and verification of digital sytems

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