Chargement...
Chargement...

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

Auteur : André Arnold

30,45 €
Chargement...
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 2024

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 : Non précisé.

EAN13 : 9782225827464

Reliure : Broché

Pages : 208

Hauteur: 24.0 cm / Largeur 16.0 cm


Épaisseur: 1.6 cm

Poids: 509 g