Current Trends In Hardware Verification And Automated Theorem Proving

Detalles Bibliográficos
Autor principal: G. Birtwistle, P A Subrahmanian
Formato: Printed Book
Lenguaje:English
Publicado: Springer-Verlag 1989

DCS

Detalle de Existencias desde DCS
Número de Clasificación: 004.3
Copia Estatus de actividad no disponible

Ejemplares similares