الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail d'une collection
|
|
Documents disponibles dans la collection
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
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
Titre : Transductions rationnelles : Application aux langages algébriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur Editeur : Paris : Masson Année de publication : 1988 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 num. 12 Importance : 1 vol. (133 p.) Format : 25 cm ISBN/ISSN/EAN : 2-225-81604-6 Langues : Français (fre) Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Transductions rationnelles : Application aux langages algébriques [texte imprimé] / Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur . - Paris : Masson, 1988 . - 1 vol. (133 p.) ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770; 12) .
ISSN : 2-225-81604-6
Langues : Français (fre)
Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000551 005-166.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001040 005-166.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001041 005-166.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
