Détail de l'indexation
Ouvrages de la bibliothèque en indexation 512.7 (1)
Affiner la recherche
Vérification et mise en oeuvre des réseaux de Petri / Michel Diaz
Titre : Vérification et mise en oeuvre des réseaux de Petri Type de document : texte imprimé Auteurs : Michel Diaz Editeur : Paris : Hermès science publications-Lavoisier, Année de publication : 2003 Collection : informatique et systémes d'information Importance : 320 p. Présentation : ill. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0445-4 Langues : Français (fre) Mots-clés : Pétri, réseaux de systèmes informatiques modules mathématiques Index. décimale : 512.7 Résumé : Complément de $$Les réseaux de Pétri$$, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en œuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimØdia... Vérification et mise en oeuvre des réseaux de Petri [texte imprimé] / Michel Diaz . - Paris : Hermès science publications-Lavoisier,, 2003 . - 320 p. : ill. ; 24 x 16 cm. - (informatique et systémes d'information) .
ISBN : 978-2-7462-0445-4
Langues : Français (fre)
Mots-clés : Pétri, réseaux de systèmes informatiques modules mathématiques Index. décimale : 512.7 Résumé : Complément de $$Les réseaux de Pétri$$, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en œuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimØdia... Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité FTM0188 510.515.145/01 Livre magasin d'ouvrages 510.515Analyse Exclu du prêt FTM0189 510.515.145/02 Livre magasin d'ouvrages 510.515Analyse Exclu du prêt FTM6409 510.515.145/03 Livre magasin d'ouvrages 510.515Analyse Disponible FTM6410 510.515.145/04 Livre magasin d'ouvrages 510.515Analyse Disponible