Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Broché
Nb de pages : 120 pages
Poids : 200 g
Dimensions : 14cm X 21cm
EAN : 9782200211974
Réseaux de Petri et systèmes parallèles
Chez
Armand Colin
Collection(s) |
2AI
Paru le 01/01/1992
Broché
120 pages
Quatrième de couverture
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.
