Titre : | Analyse formelle d'algorithmes |
Autre titre: | raisonnements et erreurs dans des algorithmes |
Auteurs : | Roland Lesuisse |
Type de document : | texte imprimé |
Editeur : | Paris [France] : Masson, 1984 |
Collection : | Manuels informatiques |
ISBN/ISSN/EAN : | S8/29102-29111 |
Format : | 206 p / ill. / 24 cm |
Note générale : | 2-225-80043-6 |
Langues originales: | |
Index. décimale : | 004 (Informatique, traitement des données) |
Mots-clés: | Algorithme : analyse formelle |
Exemplaires (10)
Cote | Support | Localisation | Disponibilité |
---|---|---|---|
S8/29102 | كتاب | Bibliothèque centrale | Disponible |
S8/29103 | كتاب | Bibliothèque centrale | Disponible |
S8/29104 | كتاب | Bibliothèque centrale | Disponible |
S8/29105 | كتاب | Bibliothèque centrale | Disponible |
S8/29106 | كتاب | Bibliothèque centrale | Disponible |
S8/29107 | كتاب | Bibliothèque centrale | Disponible |
S8/29108 | كتاب | Bibliothèque centrale | Disponible |
S8/29109 | كتاب | Bibliothèque centrale | Disponible |
S8/29110 | كتاب | Bibliothèque centrale | Disponible |
S8/29111 | كتاب | Bibliothèque centrale | Disponible |
Accueil