Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
L'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, [...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/71659 Livre Bibliothèque centrale Disponible S8/71660 Livre Bibliothèque centrale Disponible S8/71661 Livre Bibliothèque centrale Disponible
Accueil
