Mathematical foundations of computer science / edited by Wojciech Penczek, Andrzej Szatas.
Series Lecture notes in computer science ; LNCS ; v. 1113Detalles de publicación: Berlin : Springer, 1996.Descripción: x, 592 p. ; 24 cmISBN:- 3540615504
- Computación mediante dispositivos abstractos
- Computation by abstract devices
- Lenguajes de programación
- Programming languages
- Matemática discreta
- Discrete mathematics
- Analisis de algoritmos y problemas de complejida
- Analysis of algorithms and problem complexity
- Lógica y significado de programas
- Logics and meanings of programs
- Lógica matemática
- Lenguajes formales
- Mathematical logic
- Formal languages
- Ingeniería de software
- Software engineering
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. 1113 | Disponible | 15233 |
Total de reservas: 0