Učitavanje...

Formal specification and verification of digital sytems

Bibliografski detalji
Glavni autor: George Milne
Format: Printed Book
Jezik:English
Izdano: McGraw-Hill 1994