Current trends in hardware verification and automated theorem proving

Detalles Bibliográficos
Autor principal: Current trends in
Formato: Printed Book
Lenguaje:English
Publicado: New York Springer-Verlag 1989
Materias:
hardware verification > Computer hardware

UL

Detalle de Existencias desde UL
Número de Clasificación: 621.3.049.77 BIR
Copia Estatus de actividad no disponible

Ejemplares similares