Static analysis / edited by Radhia Cousot, David A. Schmidt.
Series Lecture notes in computer science ; v. 1145 | LNCS ; v. 1145Detalles de publicación: Berlin : Springer, 1996.Descripción: ix, 388 p. : il. ; 24 cmISBN:- 3540617396
- Programación-Técnicas
- Programming techniques
- Semántica de lenguajes de programación
- Semantics of programming languages
- Gramáticas y otros sistemas de reescritura
- Grammars and other rewriting systems
- Métrica
- Metrics
- Clasificación del lenguaje
- Language classifications
- Language constructs and features
- Lenguaje-construcción y características
- Programas-Especificación
- Programs-Specification
- Programas-Verificación
- Programs-Verification
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. 1145 | Disponible | 15124 |
Total de reservas: 0