Current trends in hardware verification and automated theorem proving

Bibliografiska uppgifter
Huvudupphovsman: Current trends in
Materialtyp: Printed Book
Språk:English
Publicerad: New York Springer-Verlag 1989
Ämnen:
hardware verification > Computer hardware

UL

Beståndsuppgifter i UL
Signum: 621.3.049.77 BIR
Exemplar Status otillgänglig

Liknande verk