Načítá se...

Formal specification and verification of digital sytems

Podrobná bibliografie
Hlavní autor: George Milne
Médium: Printed Book
Jazyk:English
Vydáno: McGraw-Hill 1994