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 avec des contraintes de synchronisation. ©Electre 2025
Paru le : 01/01/1992
Thématique : Langages de programmation
Auteur(s) : Auteur : Guy Vidal-Naquet Auteur : Annie Choquet-Geniet
Éditeur(s) :
Armand Colin
Collection(s) : 2AI
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782200211974
Reliure : Broché
Pages : 120
Hauteur: 21.0 cm / Largeur 14.0 cm
Épaisseur: 1.4 cm
Poids: 200 g
Carte fidélité
Mollat Radio
