GEOTRUST SSL CERTIFICATE
| Titre : | La Notation Z : manuel de référence |
| Auteurs : | J.M. Spivey, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 2e éd. |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1993 |
| Collection : | Méthodologie pour le logiciel |
| ISBN/ISSN/EAN : | 978-2-225-84367-9 |
| Format : | 168 p. / 24 x 16 cm |
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 005.1 |
| Résumé : |
Notation utilisée dans la méthode informatique de spécification Z, dont les outils d'aide à l'écriture et à la manipulation (analyseurs syntaxiques, éditeurs structurels, vérificateurs de type...) ont connu un développement croissant. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
