Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
MATERIAS ESPAÑOL (1-5 de 5)
Software -- Verificación -- Congresos
1

Cubierta del libro
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991
CAV '91 (3rd : 1991 : Aalborg, Denmark)
Berlin [etc.] : Springer-Verlag,

MAT. IMPRESO
1992
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 575    PRÉSTAMO LARGO  DISPONIBLE
2

Cubierta del libro
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June
CAV '94 (6th : 1994 : Stanford, California)
Berlin [etc.] : Springer-Verlag,

MAT. IMPRESO
1994
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 818    PRÉSTAMO LARGO  DISPONIBLE
3

Cubierta del libro
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July/Au
CAV '96 (8th : 1996 : New Brunswick, New Jersey)
Berlin [etc.] : Springer-Verlag,

MAT. IMPRESO
1996
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 1102    PRÉSTAMO LARGO  DISPONIBLE
4

Cubierta del libro
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99 B
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5. 1999. Bamberg, Germany)
Berlin [etc.] : Springer,

MAT. IMPRESO
1999
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-HRTS 32    CONSULTAR DEPT  DISPONIBLE
5

Cubierta del libro
Logics and models of concurrent systems : proceedings of the NATO advanced study institute of logics
NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984. La Colle-sur-Loupé)
Berlín [etc.] : Springer,

MAT. IMPRESO
1985
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 24    CONSULTAR DEPT  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados