GEOTRUST SSL CERTIFICATE
| Titre : | Réseaux de Petri et systèmes parallèles |
| Auteurs : | Guy Vidal-Naquet, Auteur ; Annie Choquet-Geniet, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Armand Colin, 1992 |
| Collection : | 2AI |
| ISBN/ISSN/EAN : | 978-2-200-21197-4 |
| Format : | 120 p. / 21 x 14 cm |
| Langues: | Français |
| Index. décimale : | 005.1 |
| Mots-clés: | vol de nuit ; graphes, théorie des |
| Résumé : |
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. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
