| Titre : | Algorithmique |
| Autre titre: | construction preuve et évaluation des programmes |
| Auteurs : | Pierre Berlioux ; Philippe Bizard |
| Type de document : | texte imprimé |
| Mention d'édition : | 2éd |
| Editeur : | Paris : Bordas, 1983 |
| Collection : | Dunod informatique |
| ISBN/ISSN/EAN : | S8/31802-31806 |
| Format : | 183 p / 24 cm |
| Note générale : | 2-040-15771-9 |
| Langues originales: | |
| Index. décimale : | 004 (Informatique, traitement des données) |
| Mots-clés: | Algorithmique |
Exemplaires (5)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/31802 | كتاب | Bibliothèque centrale | Disponible |
| S8/31803 | كتاب | Bibliothèque centrale | Disponible |
| S8/31804 | كتاب | Bibliothèque centrale | Disponible |
| S8/31805 | كتاب | Bibliothèque centrale | Disponible |
| S8/31806 | كتاب | Bibliothèque centrale | Disponible |
Accueil
