|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
15611360 |
| 003 |
AR_CdUFM |
| 005 |
20170629171820.0 |
| 008 |
090204s2009 nyu 000 0 eng |
| 020 |
|
|
|a 9783642005954
|
| 040 |
|
|
|a DLC
|c DLC
|d AR_CdUFM
|
| 111 |
2 |
|
|a FOSSACS
|n (12º :
|d 2009 :
|c York, UK)
|
| 245 |
0 |
0 |
|a Foundations of software science and computational structures :
|b 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 /
|c Luca de Alfaro, ed.
|
| 260 |
|
|
|a New York :
|b Springer,
|c 2009.
|
| 300 |
|
|
|a vi, 470 p. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science,
|v v. 5504
|
| 490 |
0 |
|
|a LNCS ;
|v v. 5504
|
| 504 |
|
|
|a Incluye referencias bibliográficas.
|
| 541 |
|
|
|a Importación de Publicaciones
|c Compra: Subsidio Secyt-UNC 2010-Gramaglia Hector
|d 2010-10-22
|e 20730
|h $432
|o Libro
|
| 650 |
|
4 |
|a Lógica y significado de programas.
|
| 650 |
|
4 |
|a Computación por dispositivos abstractos.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 650 |
|
4 |
|a Lenguajes formales.
|
| 650 |
|
4 |
|a Lenguajes de programación.
|
| 650 |
|
4 |
|a Ingeniería de software.
|
| 650 |
|
4 |
|a Logics and meanings of programs.
|
| 650 |
|
4 |
|a Computation by abstract devices.
|
| 650 |
|
4 |
|a Mathematical logic.
|
| 650 |
|
4 |
|a Formal languages.
|
| 650 |
|
4 |
|a Programming languages.
|
| 650 |
|
4 |
|a Software engineering.
|
| 700 |
1 |
|
|9 303
|a Alfaro, Luca de,
|d 1966-
|e ed.
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2012-03-08
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__5504_000000000000000
|7 0
|9 20003
|a MMA
|b MMA
|c LN
|d 2010-10-22
|e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
|g 0.00
|l 0
|o C LNCS v. 5504
|p 20730
|r 2010-10-22 00:00:00
|w 2010-10-22
|y LIBRO
|
| 955 |
|
|
|a pc17 2009-02-04
|
| 999 |
|
|
|c 15705
|d 15704
|
