GEOTRUST SSL CERTIFICATE
| Titre : | Systèmes de transitions finis et sémantique des processus communicants |
| Auteurs : | André Arnold, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1992 |
| Collection : | Etudes et recherches en informatique |
| ISBN/ISSN/EAN : | 978-2-225-82746-4 |
| Format : | 208 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 005.1 |
| Mots-clés: | Simulation ; informatique |
| Résumé : |
Ces programmes séquentiels itératifs permettent de modéliser un processus, son état et son évolution dans le temps. Cette étude insiste sur le produit synchronisé, et présente des langages formalisés logiques et leurs propriétés, précisant la notion d'indiscernabilité. Les outils logiciels adaptés sont mentionnés. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
