Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso NATO Advanced Study Institute on Verification of Digital and Hybrid Systems (1997. Antalya, Turquía)

Título Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997] / edited by M. Kemal Inan, Robert P. Kurshan

Publicación Berlin [etc.] : Springer, cop. 2000
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-SLAU 102    CONSULTAR DEPT  DISPONIBLE