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. ©Electre 2025
Paru le : 01/01/1993
Thématique : Langages de programmation
Auteur(s) : Auteur : J. Mike Spivey
Éditeur(s) :
Elsevier Masson
Collection(s) : Méthodologie pour le logiciel
Contributeur(s) : Traducteur :
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225843679
Reliure : Broché
Pages : 168
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.0 cm
Poids: 316 g
Carte fidélité
Mollat Radio
