Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)

Título FME '94 - industrial benefit of formal methods : 2nd international symposium of Formal Methods Europe : Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)

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