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). ©Electre 2025
Paru le : 01/10/2001
Thématique : Langages de programmation
Auteur(s) : Auteur : Henri Habrias
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782746203020
Reliure : Broché
Pages : 414
Hauteur: 24.0 cm / Largeur 16.0 cm
Poids: 620 g
Carte fidélité
Mollat Radio
