Livraison offerte dans + de 600 points de retrait E.Leclerc
camion
Livraison à domicile offerte* !

Prêt à feuilleter

Application des techniques formelles au logiciel

de Observatoire français des techniques avancées , date de sortie le 15 juillet 1997
Ce rapport de synthèse du groupe de travail Méthodes formelles en logiciel de l'Observatoire français des techniques avancées, montre comment l'utilisation des techniques formelles va aider à la... Lire la suite

Livraison estimée le lundi 21 décembre 2020

 RETRAIT OFFERT
en magasin E.Leclerc

Livraison offerte à domicile*. Voir conditions.


La fiche détaillée

Résumé

Ce rapport de synthèse du groupe de travail Méthodes formelles en logiciel de l'Observatoire français des techniques avancées, montre comment l'utilisation des techniques formelles va aider à la résolution des problèmes de productivité et de fiabilité du logiciel.

Caractéristiques

Titre Application des techniques formelles au logiciel
Collection Arago
Editeur OFTA
Date de parution 15 juillet 1997
Nombre de pages 284 pages
Dimensions 22,00 cm x 16,00 cm
Poids 510 g
Support Broché
ISBN / EAN 2-906028-06-1 - 9782906028067