|
|
|
|
LEADER |
00000nam a2200000 4500 |
003 |
AR_CdUFM |
005 |
20190814153952.0 |
008 |
120215s1995 gw||||| |||| 00| 0 eng d |
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1023_000000000000000
|7 0
|9 11004
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1023
|p 15583
|r 2013-08-22
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8616
|d 8616
|
020 |
|
|
|a 3540606882
|
040 |
|
|
|a AR_CdUFM
|
111 |
2 |
|
|9 19250
|a Asian Computing Science Conference
|n (1st :
|d (1995 :
|c Pathumthani, Thailand)
|
245 |
1 |
0 |
|a Algorithms, concurrency and knowledge /
|b 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
|c ed. Kanchana Kanchanasut, Jean-Jacques Lévy.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1995
|
300 |
|
|
|a x, 410 p. :
|b il. ;
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1023
|
490 |
0 |
|
|a LNCS ;
|v v. 1023
|
650 |
|
4 |
|a Análisis de algoritmos y problemas de complejidad.
|
650 |
|
4 |
|a Analysis of algorithms and problem complexity.
|
650 |
|
4 |
|a Sistemas distribuidos.
|
650 |
|
4 |
|a Distributed systems.
|
650 |
|
4 |
|a Sistemas concurrentes.
|
650 |
|
4 |
|a Concurrent systems.
|
650 |
|
4 |
|a Lenguajes de programación-Definiciones formales y teoría.
|
650 |
|
4 |
|a Programming languages-Formal definitions and theory.
|
650 |
|
4 |
|a Clasificación de los lenguajes.
|
650 |
|
4 |
|a Language classifications.
|
650 |
|
4 |
|a Software-Requerimientos y especificaciones.
|
650 |
|
4 |
|a Software-Requirements and specifications.
|
650 |
|
4 |
|a Deducción y prueba de teoremas.
|
650 |
|
4 |
|a Deduction and theorem proving.
|
700 |
1 |
|
|9 8600
|a Kanchanasut, Kanchana,
|d 1951-,
|e ed.
|
700 |
1 |
|
|9 10029
|a Lévy, Jean-Jacques,
|d 1947-,
|e ed.
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a AB
|
945 |
|
|
|a MCR
|d 2012-02-15
|