Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso CAV '96 (8th : 1996 : New Brunswick, New Jersey)

Título Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July/August 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger (Eds.)

Publicación Berlin [etc.] : Springer-Verlag, cop. 1996
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 1102    PRÉSTAMO LARGO  DISPONIBLE