Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger.
Series Lecture notes in computer science ; v. 1102 | LNCS ; v. 1102Detalles de publicación: Berlin : Springer, 1996.Descripción: 472 pISBN:- 3540614745
- Lógica y significado de programas
- Logics and meanings of programs
- Sistemas con propósito y aplicaciones especiales
- Special-purpose and application based systems
- Deducción y prueba de teoremas
- Deduction and theorem proving
- Verificación de programas
- Program verification
- Software-Herramientas y técnicas
- Software-Tools and techniques
- Lógica matemática-Computación
- Mathematical logic-Computation
- Asistencia de diseños
- Design aids
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. 1102 | Disponible | 15126 |
Total de reservas: 0