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

Méthodes Formelles pour les Systèmes Répartis et Coopératifs / S. HADDAD

Public ISBD Titre : Méthodes Formelles pour les Systèmes Répartis et Coopératifs Type de document : texte imprimé Auteurs : S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur Editeur : Hermès Sciences Année de publication : 2006 Importance : 347 p. ISBN/ISSN/EAN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Méthodes Formelles pour les Systèmes Répartis et Coopératifs [texte imprimé] / S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur . - [S.l.] : Hermès Sciences, 2006 . - 347 p. ISBN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I6 / 13849	Papier	OUVRAGES	INFORMATIQUE		Emprunté par: Karen Godary Sorti jusqu'au 22/05/2011