|
|
|
|
LEADER |
00000nam a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20171215154746.0 |
008 |
110630s1997 gw||||| |||| 00| 0 eng d |
020 |
|
|
|a 3540627812
|
040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
111 |
2 |
|
|a International Joint Conference on Theory and Practice of Software Development
|d (1997 :
|c Lille, France)
|
245 |
1 |
0 |
|a TAPSOFT '97 :
|b theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
|c edited by Michel Bidoit, Max Dauchet.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1997.
|
300 |
|
|
|a xvi, 884 p. :
|b il. ;
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1214
|
490 |
0 |
|
|a LNCS ;
|v v. 1214
|
650 |
|
4 |
|a Programación-Técnicas.
|
650 |
|
4 |
|a Programming techniques.
|
650 |
|
4 |
|a Lógica y significado de programas.
|
650 |
|
4 |
|a Logics and meanings of programs.
|
650 |
|
4 |
|a Mathematical logic.
|
650 |
|
4 |
|a Formal languages.
|
650 |
|
4 |
|a Lógica matemática.
|
650 |
|
4 |
|a Lenguajes formales.
|
650 |
|
4 |
|a Ingeniería de software.
|
650 |
|
4 |
|a Software engineering.
|
650 |
|
4 |
|a Lenguajes de programación.
|
650 |
|
4 |
|a Programming languages.
|
650 |
|
4 |
|a Computación mediante dispositivos abstractos.
|
650 |
|
4 |
|a Computation by abstract devices.
|
650 |
|
4 |
|a Análisis de algoritmos y problemas de complejidad.
|
650 |
|
4 |
|a Analysis of algorithms and problem complexity.
|
700 |
1 |
|
|9 1539
|a Bidoit, Michel,
|d 1957-
|e ed.,
|
700 |
1 |
|
|9 3863
|a Dauchet, Max,
|e ed.,
|d 1946-
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a MCR
|d 2011-06-30
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1214_000000000000000
|7 0
|9 10375
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1214
|p 14880
|r 2013-08-26 00:00:00
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8114
|d 8114
|