01681nam a22003737a 4500
15092969
AR_CdUFM
20170703185101.0
071126s2007 enka b 001 0 eng
9780521875462
UKM
UKM
BTCTA
BAKER
BWKUK
YDXCP
DLC
AR_CdUFM
Reactive systems :
modelling, specification and verification /
Luca Aceto ... [et al.].
Cambridge ;
New York :
Cambridge University,
2007.
xvi, 284 p. :
il. ;
26 cm.
Incluye referencias bibliográficas (p. 267-279) e índice.
Sistemas distribuídos.
Lógica y significado de programas.
Organización y diseño.
Modos de computación.
Distributed systems.
Logics and meanings of programs.
Organization and design.
Modes of computation.
506
Anna Ingólfsdóttir,
1952-
9656
Larsen, Kim G.,
1957-
16452
Srba, Jiří.
Contributor biographical information
http://www.loc.gov/catdir/enhancements/fy0805/2007282029-b.html
Publisher description
http://www.loc.gov/catdir/enhancements/fy0805/2007282029-d.html
Table of contents only
http://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html
LIBRO
MCR
0
0
CCS
0
0
MMA
MMA
4
2011-08-29
Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones
384.00
0
C C2.4 R281
21121
2023-01-24
2011-08-29
LIBRO
16175
16174