Collection 2AI
Documents disponibles dans la collection (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
texte imprimé
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 fonctio[...]
