01463nam a22003857a 4500
AR_CdUFM
20160908123312.0
110517s1996 gw||||| |||| 00| 0 eng d
3540616489
AR_CdUFM
AR_CdUFM
International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems
(4º :
1996 :
Uppsala, Sweden)
Formal techniques in real-time and fault-tolerant systems /
edited by Bengt Jonsson, Joachim Parrow.
Berlin :
Springer,
1996.
x, 478 p. :
il. ;
24 cm.
Lecture notes in computer science ;
v. 1135
LNCS ;
v. 1135
Lenguajes de programación.
Programming languages.
Organización y diseño.
Organization and design.
Programas-Especificación.
Programs-Specification.
Programas-Verificación.
Programs-Verification.
Procesadores-Arquitectura.
Processor Architectures.
Real-time systems.
Reliability, testing and fault tolerance-Memory.
Control structure reliability, testing and fault tolerance-Harware.
Reliability-Operating systems.
8427
Jonsson, Bengt,
ed.,
1957-
13025
Parrow, Joachim,
ed.,
1956-
LIBRO
MCR
2011-05-17
0
0
0
0
MMA
MMA
LN
2008-06-09
FOMEC/Comp.
0
C LNCS v. 1135
15151
2010-11-24
2008-06-09
LIBRO
8335
8335