| Titre : | Spécification formelle avec B |
| Auteurs : | Henri Habrias, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 2001 |
| ISBN/ISSN/EAN : | 978-2-7462-0302-0 |
| Format : | 414 p. / ill. / 24 x 16 cm |
| Note générale : |
Bibliogr. |
| Langues: | Français |
| Index. décimale : | 005.3 |
| Catégories : | |
| Mots-clés: | B (langage de programmation) ; méthode B (informatique) ; rétro-ingénierie (informatique) |
| Résumé : |
Les évolutions les plus récentes du langage et de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B : la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sécurité) et la spécification de systèmes ( le langage B-événementiel représentant une révolution par rapport au langage B classique). |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC006526 | INF01143 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC022619 | INFO02813 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
