Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Broché
Nb de pages : 208 pages
Poids : 509 g
Dimensions : 16cm X 24cm
EAN : 9782225827464
Systèmes de transitions finis et sémantique des processus communicants
Chez
Elsevier Masson
Collection(s) |
Etudes et recherches en informatique
Paru le 01/01/1992
Broché
208 pages
Quatrième de couverture
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.
