CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 8 results. Subscribe to this search

|
Real-time systems and programming languages / Alan Burns, Andy Wellings.

by Burns, Alan, 1953- | Wellings, Andy.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow, England : Addison-Wesley, 1997Availability: Items available for loan: [Call number: C D3 B967 ej.2] (2).
Real-time systems : specification, verification and analysis / ed. Mathai Joseph.

by Joseph, Mathai [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall, 1996Availability: Items available for loan: [Call number: C C3 R288 ] (1).
Formal techniques in real-time and fault-tolerant systems / edited by Bengt Jonsson, Joachim Parrow.

by International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems (4º : 1996 : Uppsala, Sweden) | Jonsson, Bengt, 1957- [ed.,] | Parrow, Joachim, 1956- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1135 ] (1).
Designing concurrent, distributed, and real-time applications with UML / Hassan Gomaa.

by Gomaa, Hassan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, 2000Availability: Items available for loan: [Call number: C D2 G631d ] (1).
Real-time systems / by Jane W.S. Liu.

by Liu, Jane W. S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, New Jersey : Prentice-Hall, 2000Availability: Items available for loan: [Call number: C C3 L783 ] (1).
Real-time UML : developing efficient objects for embedded systems / Bruce Powel Douglass ; [foreword by David Harel].

by Douglass, Bruce Powel, 1954-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, 2003Availability: Items available for loan: [Call number: C D2 D733 ] (1).
A practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems / Mark H. Klein, Thomas Ralya, Bill Pollak, Ray Obenza.

by Klein, Mark H | Ralya, Thomas | Pollak, Bill | Obenza, Ray.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Kluwer, 1999Availability: Items available for loan: [Call number: C C3 K64 ] (1).
Formal methods for real-time and probabilistic systems / ed. Joost-Pieter Katoen.

by International AMAST Workshop, ARTS'99 (5º : 1999 : Bamberg, Germany) | Katoen, Joost-Pieter, 1964- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1999Availability: Items available for loan: [Call number: C LNCS v. 1601 ] (1).

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