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.1| Tipo 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 |
, Ubicación: SALA Cerrar el navegador de estanterías
| No hay imagen de cubierta disponible | ||||||||
| 005.1 CRI Agile testing : | 005.1 EVA Domain-driven design : | 005.1 FOK Distributed algorithms : | 005.1 FOR Formal methods at the crossroads : | 005.1 FOW Patterns of enterprise application architecture | 005.1 HEA Head First design patterns | 005.1 HUM PSP : |
Incluye referencias bibliográficas e índice.
TECNICATURA EN PROGRAMACION INFORMATICA