LEADER 01909nam  22003733  450 
001 9910494618603321
005 20210901203435.0
010   $a1-78406-515-3
035   $a(CKB)4100000011773707
035   $a(MiAaPQ)EBC6482583
035   $a(Au-PeEL)EBL6482583
035   $a(OCoLC)1239992460
035   $a(EXLCZ)994100000011773707
100   $a20210901d2018      uy             0
101 0 $afre
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aApplications Logicielles Certifiables 3
210  1$aLondon :$cISTE Editions Ltd.,$d2018.
210  4$dİ2018.
215   $a1 online resource (345 pages)
311   $a1-78405-515-8 
327   $aCover -- Table of Contents -- Introduction -- Chapitre 01. Re?alisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spe?cification des exigences -- Chapitre 05. Mode?lisation -- Chapitre 06. Formalisation -- Chapitre 07. Ve?rification de la phase de spe?cification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Ve?rification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Ve?rification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Re?gles de programmation -- Chapitre 15. Ve?rification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes.
608   $aElectronic books.
700   $aBoulanger$b Jean-Louis$0847395
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910494618603321
996   $aApplications Logicielles Certifiables 3$91892828
997   $aUNINA