Lanean...

Formal specification and verification of digital sytems

Xehetasun bibliografikoak
Egile nagusia: George Milne
Formatua: Printed Book
Hizkuntza:English
Argitaratua: McGraw-Hill 1994