Accueil
Tous les produits
Arts, Sciences & Société
Sciences, Techniques et Médecine
Systèmes de transitions finis et sémantique des processus communicants

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

Name: Systèmes de transitions finis et sémantique des processus communicants
Brand: Recyclivre
Author: André Arnold
ISBN: 9782225827464

André Arnold

01/01/1992
Elsevier Masson

NC (0 avis)

Couverture de Systèmes de transitions finis et sémantique des processus communicants par André Arnold

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.