Rewriting techniques and applications / edited by Harald Ganzinger.
Series Lecture notes in computer science ; v. 1103 | LNCS ; v. 1103Detalles de publicación: Berlin : Springer, 1996.Descripción: xi, 435 p. : il. ; 24 cmISBN:- 3540614648
- Lenguajes de programación
- Programming languages
- Deducción y prueba de teoremas
- Deduction and theorem proving
- Semántica de lenguajes de programación
- Semantics of programming languages
- Lógica matemática
- Lenguajes formales
- Mathematical logic
- Formal languages
- Manipulación algebraica
- Algebraic manipulation
- Programación automática
- Automatic programming
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. 1103 | Disponible | 15363 |
Total de reservas: 0