Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International Symposium of Formal Methods Europe (3º. 1996. Oxford)

Título FME '96 : Industrial benefit and advances in formal methods : Third Intenational Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, march 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock (Eds.)

Publicación Berlin : Springer, 1996
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 1051    PRÉSTAMO LARGO  DISPONIBLE