GEOTRUST SSL CERTIFICATE
Titre : | La spécification formelle avec Z |
Auteurs : | David Lightfoot, Auteur |
Type de document : | texte imprimé |
Editeur : | Bessières (Haute Garonne) : Teknea, 1994 |
ISBN/ISSN/EAN : | 978-2-87717-038-3 |
Format : | XIII-191 p. / ill. / 23 x 16 cm |
Note générale : |
Lexique anglais/français-français/anglais. Index |
Langues: | Français |
Langues originales: | Anglais |
Index. décimale : | 005.3 |
Mots-clés: | Z (langage de programmation) ; logiciels ; conception |
Résumé : |
Introduction au langage de spécification formelle Z qui fait largement appel aux notations des mathématiques discrètes. Les mathématiques de Z sont expliquées et accompagnées d'un exemple de spécification. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |