Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Hubert Garavel, John Hatcliff (eds.).
Por: TACAS 2003 Warsaw, Poland) (2003.
Colaborador(es): Garavel, Hubert | Hatcliff, John | ETAPS 2003 Warsaw, Poland) (2003.
Series Lecture notes in computer science (Springer): 2619Editor: Berlin ; Springer, c2003Descripción: xvi, 604 p. : il. ; 24 cm.ISBN: 3540008985.Tema(s): Análisis de sistemas | Algoritmo | Cálculo (Matemáticas)Clasificació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 TAC (Navegar estantería) | 1 | Disponible |
Incluye índice.