| Titre : | Introduction aux méthodes formelles |
| Auteurs : | Jean-François Monin |
| Type de document : | texte imprimé |
| Mention d'édition : | 2e éd |
| Editeur : | Paris : Hermès, 2000 |
| Collection : | Technique et scientifique des télécommunications |
| ISBN/ISSN/EAN : | 978-2-7462-0140-8 |
| Format : | 1 vol. (351 p.) / ill., couv. ill. en coul. / 24 cm |
| Langues originales: | |
| Index. décimale : | 004 (Informatique, traitement des données) |
| Mots-clés: | Méthode formelle- Génie logiciel |
| Côte titre : |
S8/60266-60268 |
Exemplaires (3)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/60266 | Livre | Bibliothèque centrale | Disponible |
| S8/60267 | Livre | Bibliothèque centrale | Disponible |
| S8/60268 | Livre | Bibliothèque centrale | Disponible |
Accueil
