LEADER 01250nam0 22002771i 450 
001 UON00063659
005 20231205102320.94
100   $a20020107d1964       |0itac50      ba
101   $ajpn
102   $aJP
105   $a||||    1||||
200 1 $aEdo kara Tokyo e$fYada Soun
210   $aTokyo$c[s.n.]$d1964
215   $a3 v.$d22 cm
606   $aURBANISTICA$xGIAPPONE$xTOKYO$3UONC003088$2FI
606   $aARCHITETTURA$xGIAPPONE$xSEC. XX$3UONC008354$2FI
620   $aJP$dTo?kyo?$3UONL000031
686   $aGIA XI$cGIAPPONE - ARCHITETTURA E URBANISTICA$2A
700  0$aYADA Soun$3UONV040696$0656337
801   $aIT$bSOL$c20240220$gRICA
912   $aUON00063659
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GIA       XI                                  009 (1)             $eSI SA 35370    7        009 (1)             
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GIA       XI                                  009 (2)             $eSI SA 35371    7        009 (2)             $sBuono
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GIA       XI                                  009 (3)             $eSI SA 35372    7        009 (3)             $sBuono
996   $aEdo kara Tokyo e$91171605
997   $aUNIOR

LEADER 02196nam  2200433   450 
001 9910810572803321
005 20230814234651.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   $a20220530d2018      uy             0
101 0 $afre
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aApplications logicielles certifiables$h3$iCycle descendant /$fJean-Louis Boulanger
210  1$aLondon, England :$cISTE Editions,$d[2018]
210  4$dİ2018
215   $a1 online resource (345 pages)
225 1 $aCollection informatique
311   $a1-78405-515-8 
320   $aIncludes bibliographical references and index.
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.
410  0$aCollection informatique (ISTE Editions)
606   $aComputer software$xDevelopment
615  0$aComputer software$xDevelopment.
676   $a005.1
700   $aBoulanger$b Jean-Louis$0847395
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910810572803321
996   $aApplications logicielles certifiables$93926933
997   $aUNINA