Dépôt DSpace/Manakin

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

Afficher la notice abrégée

dc.contributor.author Navet, Nicolas
dc.date.accessioned 2024-11-17T07:38:16Z
dc.date.available 2024-11-17T07:38:16Z
dc.date.issued 2006
dc.identifier.isbn 2746213036
dc.identifier.uri https://di.univ-blida.dz/jspui/handle/123456789/33633
dc.description 370-VII p.: ill.; 25 cm fr_FR
dc.language.iso fr fr_FR
dc.publisher Hermès science publications fr_FR
dc.relation.ispartofseries Traité IC2;
dc.subject Temps réel (informatique) fr_FR
dc.subject Ingénierie des systèmes fr_FR
dc.title Systèmes temps réel .1, Techniques de description et de vérification fr_FR
dc.type Book fr_FR


Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Recherche avancée

Parcourir

Mon compte