Current trends in hardware verification and automated theorem proving

Bibliografiske detaljer
Hovedforfatter: Current trends in
Format: Printed Book
Sprog:English
Udgivet: New York Springer-Verlag 1989
Fag:
hardware verification > Computer hardware

UL

Detaljer om beholdninger fra UL
Klassifikationsnummer: 621.3.049.77 BIR
Kopi Live Status Unavailable

Lignende værker