1 résultat(s) recherche sur le tag 'validation formelle'

Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information / Olivier H. Roux

Public ISBD Titre : Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information Type de document : texte imprimé Auteurs : Olivier H. Roux, Auteur ; Claude Jard, Auteur Editeur : Hermès Sciences Année de publication : 2008 Importance : 268 p. ISBN/ISSN/EAN : 978-2-7462-1942-7 Langues : Anglais (eng) Tags : Validation Formelle  Systèmes Temps Réel  Systèmes Embarqués Index. décimale : A1 A1 - Automatique Continue Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information [texte imprimé] / Olivier H. Roux, Auteur ; Claude Jard, Auteur . - [S.l.] : Hermès Sciences, 2008 . - 268 p. ISBN : 978-2-7462-1942-7 Langues : Anglais (eng) Tags : Validation Formelle  Systèmes Temps Réel  Systèmes Embarqués Index. décimale : A1 A1 - Automatique Continue

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
A1 / 15300	Papier	OUVRAGES	ROBOTIQUE		Emprunté par: Karen Godary Sorti jusqu'au 04/03/2013