Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).
Series Lecture notes in computer science ; v. 4144Detalles de publicación: Berlin ; New York : Springer, c2006.Descripción: xv, 564 p. : il. ; 24 cmISBN:- 354037406X
- Lenguajes de programación
- Verificación de programas
- Software-Herramientas y técnicas
- Lógica matemática
- Inteligencia artificial
- Deducción y prueba de teoremas
- Asistencia de diseños
- Sistemas con propósito y aplicaciones especiales
- Programming languages
- Program verification
- Software-Tools and techniques
- Mathematical logic
- Artificial intelligence
- Deduction and theorem proving
- Design aids
- Special-purpose and application-based systems
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 4144 | Disponible | 20883 |
Total de reservas: 0
Incluye referencias bibliográficas e índice.
Importación de Publicaciones ;