Ce numéro propose une version révisée et étendue de cinq articles présentés lors des journées AFALD (Approches formelles dans l'assistance au développement de logiciels). Ils portent sur les techniques et outils formels dans la construction de logiciels et de systèmes, les méthodes et processus permettant d'exploiter les techniques et outils, les processus mettant en oeuvre ces techniques, etc. ©Electre 2025

Fiche Technique

Paru le : 19/02/2016

Thématique : Langages de programmation

Auteur(s) : Non précisé.

Éditeur(s) : Lavoisier-Hermès

Collection(s) : Non précisé.

Contributeur(s) : Directeur de publication : Catherine Dubois - Directeur de publication : Régine Laleau

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

ISBN : 978-2-7462-4746-8

EAN13 : 9782746247468

Reliure : Broché

Hauteur: 24.0 cm / Largeur 16.0 cm

Épaisseur: 0.6 cm

Poids: 240 g

54,00 €

Chargement...