Chargement...
Chargement...
  1. Auteur
  2. Choquet-Geniet, Annie

Livres Annie Choquet-Geniet

Auteur

Support

Série
Disponibilité

1
Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés
Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés
Auteur : Annie Choquet-Geniet
Éditeur(s) : Dunod
Présentation de la modélisation et de 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...). Explication du modèle des réseaux de Petri, outil graphique d'analyse qui permet de m...
29,90 €
Chargement...
Réseaux de Petri et systèmes parallèles
Réseaux de Petri et systèmes parallèles
Auteur : Guy Vidal-Naquet
Éditeur(s) : Armand Colin
Comment garantir qu'un programme assure de manière correcte l'ensemble des fonctionnalités pour lesquelles il a été construit? Les réseaux de Petri constituent l'un des outils mathématiques de spécification et de description des systèmes fonctionnant en parallèle ave...
23,85 €
Chargement...
1