Current trends in hardware verification and automated theorem proving

Dettagli Bibliografici
Autore principale: Current trends in
Natura: Printed Book
Lingua:English
Pubblicazione: New York Springer-Verlag 1989
Soggetti:
hardware verification > Computer hardware

UL

Dettagli sul posseduto da UL
Collocazione: 621.3.049.77 BIR
Copia Status in tempo reale non disponibile

Documenti analoghi