Current trends in hardware verification and automated theorem proving

Podrobná bibliografie
Hlavní autor: Current trends in
Médium: Printed Book
Jazyk:English
Vydáno: New York Springer-Verlag 1989
Témata:
hardware verification > Computer hardware

UL

Informace o exemplářích z: UL
Signatura: 621.3.049.77 BIR
Jednotka Neznámá aktuální dostupnost

Podobné jednotky