Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / edited by Bernhard Möller.
Series Lecture notes in computer science ; v. 947 | LNCS ; v. 947Detalles de publicación: Berlin : Springer, 1995.Descripción: viii, 472 p. ; 24 cmISBN:- 3540601171
- Programación-Técnicas
- Programming techniques
- Software engineering
- Ingeniería de software
- Análisis de algoritmos y problemas de complejidad
- 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
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 947 | Disponible | 14035 |
Total de reservas: 0