الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'auteur
Auteur Claude Benzaken |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Systèmes formels / Claude Benzaken
Titre : Systèmes formels : introduction à la logique et à la théorie des langages Type de document : texte imprimé Auteurs : Claude Benzaken, Editeur : Paris : Masson Année de publication : 1991, cop. 1991 Collection : Logique math©matiques informatique, ISSN 0995-2179 num. 6. Importance : 1 vol. (XIII-166 p.) Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82567-5 Langues : Français (fre) Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, . - Paris : Masson, 1991, cop. 1991 . - 1 vol. (XIII-166 p.) ; 24 cm.. - (Logique math©matiques informatique, ISSN 0995-2179; 6.) .
ISBN : 978-2-225-82567-5
Langues : Français (fre)
Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00218 004-58.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00217 004-58.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible