Carregant...

Formal specification and verification of digital sytems

Dades bibliogràfiques
Autor principal: George Milne
Format: Printed Book
Idioma:English
Publicat: McGraw-Hill 1994