|
|
|
|
LEADER |
00000nam a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20170703144444.0 |
008 |
110517s1996 gw||||| |||| 00| 0 eng d |
020 |
|
|
|a 354061155X
|
040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
111 |
2 |
|
|a DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems
|d (1995 :
|c Rutgers university, New Jersey)
|
245 |
1 |
0 |
|a Hybrid systems III :
|b verification and control /
|c edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
300 |
|
|
|a ix, 618 p. :
|b il. ;
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1066
|
490 |
0 |
|
|a LNCS ;
|v v. 1066
|
650 |
|
4 |
|a Sistemas híbridos.
|
650 |
|
4 |
|a Hybrid systems.
|
650 |
|
4 |
|a Análisis de algoritmos y problemas complejos.
|
650 |
|
4 |
|a Analysis of algorithms and problem complexity.
|
650 |
|
4 |
|a Sistemas con propósitos y aplicaciones especiales.
|
650 |
|
4 |
|a Special-purpose and application-based systems.
|
650 |
|
4 |
|a Software-Requerimientos y aplicaciones.
|
650 |
|
4 |
|a Software-Requirements and applications.
|
650 |
|
4 |
|a Programas-Especificación.
|
650 |
|
4 |
|a Programs-Specification.
|
650 |
|
4 |
|a Programas-Verificación.
|
650 |
|
4 |
|a Programs-Verification.
|
650 |
|
4 |
|a Computación mediante dispositivos abstractos.
|
650 |
|
4 |
|a Computation by abstract devices.
|
700 |
1 |
|
|9 366
|a Alur, Rajeev,
|d 1966-
|e ed.,
|
700 |
1 |
|
|9 7435
|a Henzinger, Thomas A.,
|e ed.
|
700 |
1 |
|
|a Sontag, Eduardo D.,
|e ed.
|d 1951-
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a MCR
|d 2012-02-16
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1066_000000000000000
|7 0
|9 10981
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1066
|p 15529
|r 2010-11-24
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8593
|d 8593
|