Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.)
Tipo de material: TextoSeries Lecture notes in computer scienceEditor: Berlin : Springer Verlag, c2004Descripción: 536 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540223428Otro título: CAV 2004Tema(s): Software para computadora -- Verificación -- Congresos | Computadoras electrónicas digitales -- Evaluación -- CongresosClasificación LoC:QA76.76V47 | C38 2004Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA76.76V47 C38 2004 (Navegar estantería(Abre debajo)) | 1 | Disponible | 190355 | ||
Libros | Libros Libros | General | QA76.76V47 C38 2004 (Navegar estantería(Abre debajo)) | 1 | Disponible | 190356 |
Total de reservas: 0
No hay comentarios en este titulo.