Chargement...
Chargement...

Systèmes de transitions finis et sémantique des processus communicants

Auteur : André Arnold

Paru le : 01/01/1992
Éditeur(s) : Elsevier Masson
Série(s) : Non précisé.
Contributeur(s) : Non précisé.

30,45 €
Article indisponible
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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. ©Electre 2017

Fiche Technique

Paru le : 01/01/1992

Thématique : Langages de programmation

Auteur(s) : Auteur : André Arnold

Éditeur(s) : Elsevier Masson

Collection(s) : Etudes et recherches en informatique

Série(s) : Non précisé.

ISBN : 2-225-82746-X

EAN13 : 9782225827464

Format : Non précisé.

Reliure : Broché

Pages : 208

Hauteur : 24 cm / Largeur : 16 cm

Épaisseur : 1,6 cm

Poids : 509 g