Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Luca de Alfaro, ed.
Series Lecture notes in computer science ; v. 5504 | LNCS ; v. 5504Detalles de publicación: New York : Springer, 2009.Descripción: vi, 470 p. ; 24 cmISBN:- 9783642005954
- Lógica y significado de programas
- Computación por dispositivos abstractos
- Lógica matemática
- Lenguajes formales
- Lenguajes de programación
- Ingeniería de software
- Logics and meanings of programs
- Computation by abstract devices
- Mathematical logic
- Formal languages
- Programming languages
- Software engineering
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. 5504 | Disponible | 20730 |
Total de reservas: 0
Incluye referencias bibliográficas.