Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Combiner du code avec des spécifications : constructions non déterministes et lambda-calcul, illustrés sur des classes de collections de la bibliothèque Java. Patrons de conception pour des adaptateurs de synchronisation d'objets CORBA. Typage statique des objets concurrents et des acteurs. ©Electre 2025

Fiche Technique

Paru le : 30/05/2000

Thématique : Généralités traitement informatique

Auteur(s) : Non précisé.

Éditeur(s) : Lavoisier-Hermès

Collection(s) : Non précisé.

Contributeur(s) : Directeur de publication : Pascal André - Directeur de publication : Roger Rousseau

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

ISBN : Non précisé.

EAN13 : 9782746201262

Reliure : Broché

Pages : 122

Hauteur: 24.0 cm / Largeur 16.0 cm

Poids: 230 g

33,00 €

Chargement...