CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Formal techniques in real-time and fault-tolerant systems / edited by Bengt Jonsson, Joachim Parrow. - Berlin : Springer, 1996. - x, 478 p. : il. ; 24 cm. - Lecture notes in computer science ; v. 1135 LNCS ; v. 1135 .

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.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com