Current trends in hardware verification and automated theorem proving

Bibliografische gegevens
Hoofdauteur: Current trends in
Formaat: Printed Book
Taal:English
Gepubliceerd in: New York Springer-Verlag 1989
Onderwerpen:
hardware verification > Computer hardware

UL

Exemplaargegevens van UL
Plaatsingsnummer: 621.3.049.77 BIR
Kopie Status is onbeschikbaar

Gelijkaardige items