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. - New York : Springer, 2009. - vi, 470 p. ; 24 cm. - Lecture notes in computer science, v. 5504 LNCS ; v. 5504 .

Incluye referencias bibliográficas.

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.