Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.).
Colaborador(es): Aichernig, Bernhard K | Maibaum, Thomas S E | International Institute for Software Technology.
Editor: Berlin ; Springer-Verlag, 2003Descripción: xiv, 453 p. : il. ; 24 cm.Tema(s): Lenguajes de programación | Sistemas operativos | Ingeniería de sistemas | Programación de computadoraClasificación CDD: 005.1Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 005.1 FOR (Navegar estantería) | 1 | Disponible |
Incluye referencias bibliográficas e índice.
TECNICATURA EN PROGRAMACION INFORMATICA