| Titre : | Technique et science informatiques T.23 : N°7-2007: approches formelles pour le développement de logiciels |
| Auteurs : | Jean-Marc Jézéquel ; Jeanine Souquères |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès, 2004 |
| ISBN/ISSN/EAN : | 978-2-7462-1016-5 |
| Format : | 1 vol. (106 p.) / couv. ill. en coul. / 22 cm |
| Langues originales: | |
| Index. décimale : | 006 (Méthode informatiques spéciales) |
| Catégories : |
Ouvrages > Généralités (ouvrages généraux), information, informatique > Informatique |
| Mots-clés: | Logiciel(développement) Méthode formel(informatique) |
| Côte titre : |
S8/69567-69569 |
Exemplaires (3)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/69567 | Livre | Bibliothèque centrale | Disponible |
| S8/69568 | Livre | Bibliothèque centrale | Disponible |
| S8/69569 | Livre | Bibliothèque centrale | Disponible |
Accueil
