Application des techniques formelles au logiciel

Auteurs	Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel (Auteur)
Collection	Arago N°20
Collation	1 vol. (285 p.)
Illustration	ill.
Format	23 cm
ISBN	2-906028-06-1
Langue d'édition	français
Sujets	Logiciels -- développement -- qualité -- contrôle Systèmes , Conception de -- Qualité -- Contrôle Génie logiciel -- Spécifications
Nombre de réservation(s) actuelle(s) : 0
Réservation

Site Numéro Cote Section / Localisation Etat Bibliotheque 1023140000012 005.12 APP Adulte / Bibliothèque ISAE-Supmeca Sorti - Retour prévu le 23/03/2015

• Description
• Videos

Notes : Notes bibliogr.

• Commentaires

Connectez-vous pour poster un commentaire