Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors.
Series Lecture notes in computer science ; v. 5123 | LNCS ; v. 5123Detalles de publicación: Berlin : Springer 2008.Descripción: xvii, 558 p. : il. ; 24 cmISBN:- 9783540705437
- Lógica y significado de programas
- Verificación de programas
- Software-Herramientas y técnicas
- Lógica matemática
- Asistencia de diseños
- Sistemas con propósito y aplicaciones especiales
- Logics and meanings of programs
- Program verification
- Software-Tools and tecniques
- Mathematical logic
- Deductton 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. 5123 | Disponible | 20910 |
Total de reservas: 0