Systèmes temps réel : 1 : Techniques de description et de vérification

Systèmes temps réel : 1 Techniques de description et de vérification

Saved in:
Bibliographic Details
Other Authors : Navet Nicolas (Directeur de publication)
Format : Book
Language : français
Title statement : Systèmes temps réel. 1, Techniques de description et de vérification / sous la direction de Nicolas Navet
Published : Paris : Hermes science publ. , cop. 2006
Lavoisier
Physical Description : 1 vol. (370-VII p.)
Series : IC2 Série Informatique et systèmes d'information
Subjects :
Ingénierie des systèmes
Ordonnancement (gestion)
Temps réel (informatique)

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin n.3 004.33 NAV/13385 Empruntable Available

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Bibliothèque 681.3 A SYS Empruntable Available