Hybrid and real-time systems / edited by Oded Maler.
Series Lecture notes in computer science ; v. 1201 | LNCS ; v. 1201Detalles de publicación: Berlin : Springer, 1997.Descripción: ix, 414 p. : il. ; 24 cmISBN:- 354062600X
- 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
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. 1201 | Disponible | 14919 |
Total de reservas: 0