Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso VDM '87 (1987 : Brussels, Belgium)

Título VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]

Publicación Berlin ; New York : Springer-Verlag, cop. 1987
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 252    PRÉSTAMO LARGO  DISPONIBLE
Edición [1st ed.]
Descripción física ix, 422 p. : ill ; 24 cm
Colección Lecture notes in computer science, 0302-9743 ; 252
Bibliografía Bibliografía
Materia Software -- Congresos
       Mostrar referencias similares
Autor secundario Bjørner, Dines, ed. lit.
VDM-Europe
Otro título VDM, a formal method at work
ISBN 3540176543
0387176543