Application des techniques formelles au logiciel
|
| Auteur | Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel (Auteur) |
| Collection | Arago N°20 |
| Collation | 1 vol. (285 p.) |
| Format | 23 cm |
| Illustration | ill. |
| ISBN | 2-906028-06-1 |
| Langue Edition | français |
| Sujets | Logiciels -- développement -- qualité -- contrôle |
| Systèmes , Conception de : Qualité : Contrôle | |
| Génie logiciel : Spécifications | |
| Promotions |
| Nombre de réservation(s) actuelle(s) : 0 |
| Site | Numéro | Cote | Section | Etat |
| Bibliotheque | 1023140000012 | 005.12 APP | Adulte | Bibliothèque ISAE-Supmeca | Sorti - Retour prévu le 23/03/2015 |
Notes : Notes bibliogr.