Titre : | Logique(s), langages formels et complexité pour l'informatique |
Auteurs : | Narendra Jussien, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications-Lavoisier, impr. 2006 |
Collection : | Collection Informatique |
ISBN/ISSN/EAN : | 978-2-7462-1395-1 |
Format : | 1 vol. (313 p.) / ill. / 24 cm |
Note générale : | Bibliogr. p. 301-303. Index |
Langues: | Français |
Index. décimale : | 005 |
Mots-clés: | Logique mathématique ; Langages formels ; Complexité de calcul (informatique) |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
111-000530 | 005.1 JUS | Livre | 03. BUC - Niamey | 000 - Informatique, Information, Ouvrages Généraux | Disponible |