01589nam a22003977a 4500
15611360
AR_CdUFM
20170629171820.0
090204s2009 nyu 000 0 eng
9783642005954
DLC
DLC
AR_CdUFM
FOSSACS
(12º :
2009 :
York, UK)
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.
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.
303
Alfaro, Luca de,
1966-
ed.
LIBRO
MCR
2012-03-08
0
0
0
0
MMA
MMA
LN
2010-10-22
Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
0.00
0
C LNCS v. 5504
20730
2010-10-22
2010-10-22
LIBRO
15705
15704