|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20190808182212.0 |
| 008 |
110516s1997 gw||||| |||| 00| 0 eng d |
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1231_000000000000000
|7 0
|9 10358
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1231
|p 14867
|r 2013-08-23 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8097
|d 8097
|
| 020 |
|
|
|a 3540630104
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 111 |
|
|
|a International AMAST Workshop on Real-time Systems and Concurrent Distributed Software
|n (4 :
|d 1997 :
|c Palma, Mallorca, Spain)
|9 19782
|
| 245 |
1 |
0 |
|a Transformation-based reactive systems development :
|b 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings /
|c edited by Miquel Bertran, Teodor Rus.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1997.
|
| 300 |
|
|
|a xi, 338 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1231
|
| 490 |
0 |
|
|a LNCS ;
|v v. 1231
|
| 650 |
|
4 |
|a Sistemas distribuidos.
|
| 650 |
|
4 |
|a Distributed systems.
|
| 650 |
|
4 |
|a Programs-Specification.
|
| 650 |
|
4 |
|a Programas-Especificación.
|
| 650 |
|
4 |
|a Programas-Verificación.
|
| 650 |
|
4 |
|a Programs-Verification.
|
| 650 |
|
4 |
|a Sistemas con propósito y aplicación esspecial.
|
| 650 |
|
4 |
|a Special-purpose and application-based systems.
|
| 650 |
|
4 |
|a Programación distribuida.
|
| 650 |
|
4 |
|a Distributed programming.
|
| 650 |
|
4 |
|a Computation modes.
|
| 700 |
1 |
|
|9 1491
|a Bertran, Miquel
|e ed.
|
| 700 |
1 |
|
|9 14937
|a Rus, Teodor,
|e ed.
|
| 942 |
|
|
|c LIBRO
|2 CCS
|
| 945 |
|
|
|a AB
|
