CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

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.

By: (12º : FOSSACS (12º : 2009 : York, UK).
Contributor(s): Alfaro, Luca de, 1966- [ed.].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science, v. 5504; LNCS ; v. 5504.Publisher: New York : Springer, 2009Description: vi, 470 p. ; 24 cm.ISBN: 9783642005954 .Subject(s): 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode Item holds
Libro Libro FaMAF
Sección Lecture Notes
C LNCS v. 5504 Available 20730
Total holds: 0

Incluye referencias bibliográficas.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//