01380nam a22003737a 4500
AR_CdUFM
20160908123249.0
110516s1997 gw||||| |||| 00| 0 eng d
354062600X
AR_CdUFM
AR_CdUFM
HART '97
(1997 :
Grenoble, France)
Hybrid and real-time systems /
edited by Oded Maler.
Berlin :
Springer,
1997.
ix, 414 p. :
il. ;
24 cm.
Lecture notes in computer science ;
v. 1201
LNCS ;
v. 1201
Sistemas hibridos.
Hybrid systems.
Computación mediante dispositivos abstractos.
Computation by abstract devices.
Analysis of algorithms and problem complexity.
Análisis de algoritmos y problemas de complejidad.
Special-purpose and application-based systems.
Sistemas con propósito y aplicaciones especiales.
Software-Requerimientos y especificaciones.
Software-Requeriments and specifications.
Sistemas operativos-Organización y diseño.
Operating systems-Organization and design.
Programs-Specification.
Programas-Especificación.
10715
Maler, Oded,
ed.
LIBRO
2011-05-16
0
0
0
0
MMA
MMA
LN
2008-06-09
FOMEC/Comp.
0
C LNCS v. 1201
14919
2013-08-26
2008-06-09
LIBRO
8140
8140