University Sétif 1 FERHAT ABBAS Faculty of Sciences
Systèmes temps réel V.1 / Nicolas Navet
Systèmes temps réel V.1 : Techniques de description et de vérification [texte imprimé] / Nicolas Navet ; Olivier Salvatori . - Paris : Hermès science publications, 2006 . - 1 vol. (370 p .) ; 24cm. - (Informatique et systèmes d'information/Pommerol,Jean-Chrles) . ISBN : 978-2-7462-1303-6 Langues : Français (fre)
|
Exemplaires (6)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/11784 | Fs/11784-11786 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11785 | Fs/11784-11786 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11786 | Fs/11784-11786 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/12556 | Fs/12556 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/13258 | Fs/13258-13259 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/13259 | Fs/13258-13259 | livre | Bibliothéque des sciences | Français | Disponible Disponible |