Formal techniques in real-time and fault-tolerant systems / edited by Bengt Jonsson, Joachim Parrow.
Series Lecture notes in computer science ; v. 1135 | LNCS ; v. 1135Detalles de publicación: Berlin : Springer, 1996.Descripción: x, 478 p. : il. ; 24 cmISBN:- 3540616489
- 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
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. 1135 | Disponible | 15151 |
Total de reservas: 0