الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'les systèmes de transitions, les logique des systèmes de transitions, l'observation des systèmes de transitions'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Systèmes de transitions finis et sémantique des processus communicants / André Arnold
Titre : Systèmes de transitions finis et sémantique des processus communicants Type de document : texte imprimé Auteurs : André Arnold (1945-....), Auteur Editeur : Paris : Masson Année de publication : cop. 1992 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 196 p Présentation : ill. Format : 16*25 cm ISBN/ISSN/EAN : 978-2-225-82746-4 Prix : 180 FRF Langues : Français (fre) Langues originales : Français (fre) Mots-clés : les systèmes de transitions, les logique des systèmes de transitions, l'observation des systèmes de transitions Index. décimale : 006 Résumé : La plupart des travaux sur la sémantique des processus dit parallèles , ou communicants , ou concurrents , ou interagissant reposent sur la notion d'automate. Systèmes de transitions finis et sémantique des processus communicants [texte imprimé] / André Arnold (1945-....), Auteur . - Paris : Masson, cop. 1992 . - 196 p : ill. ; 16*25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82746-4 : 180 FRF
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : les systèmes de transitions, les logique des systèmes de transitions, l'observation des systèmes de transitions Index. décimale : 006 Résumé : La plupart des travaux sur la sémantique des processus dit parallèles , ou communicants , ou concurrents , ou interagissant reposent sur la notion d'automate. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité f2-001510 006-022.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001511 006-022.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible