Hybrid systems III : verification and control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.
Series Lecture notes in computer science ; v. 1066 | LNCS ; v. 1066Detalles de publicación: Berlin : Springer, 1996.Descripción: ix, 618 p. : il. ; 24 cmISBN:- 354061155X
- Sistemas híbridos
- Hybrid systems
- Análisis de algoritmos y problemas complejos
- Analysis of algorithms and problem complexity
- Sistemas con propósitos y aplicaciones especiales
- Special-purpose and application-based systems
- Software-Requerimientos y aplicaciones
- Software-Requirements and applications
- Programas-Especificación
- Programs-Specification
- Programas-Verificación
- Programs-Verification
- Computación mediante dispositivos abstractos
- Computation by abstract devices
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1066 | Disponible | 15529 |
Total de reservas: 0