Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO

Título Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds

Publicación Berlin ; New York : Springer-Verlag, 1995
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 901    PRÉSTAMO LARGO  DISPONIBLE