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. ©Electre 2025

Fiche Technique

Paru le : 01/05/1994

Thématique : Langages de programmation

Auteur(s) : Auteur : David Lightfoot

Éditeur(s) : Teknea

Collection(s) : Non précisé.

Contributeur(s) : Traducteur : Henri Habrias - Traducteur : Pierre-Marie Delpech

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782877170383

Reliure : Broché

Pages : XIII-191

Hauteur: 23.0 cm / Largeur 16.0 cm

Poids: 0 g

21,34 €

Chargement...