LEADER 01476nam a2200253 a 4500 001 991001211209707536 008 035 $ab13978512-39ule_inst 040 $aDip.to Studi Storici$bita 082 04$a333.9113094 245 03$aLe acque interne, secc. 12-18. :$batti della quindicesima Settimana di studi, 15-20 aprile 1983 /$ca cura di Simonetta Cavaciocchi 260 $aPrato :$bIstituto internazionale di storia economica F. Datini,$c[2000] 300 $a1 CD-ROM :$bsonoro, color. ;$c12 cm. 440 0$aIstituto internazionale di storia economica F. Datini, Prato.$pAtti delle settimane di studio e altri convegni in CD-ROM ;$v4 500 $aRequisiti del sistema: PC multimediale 486 DX2; 8 MB RAM; Windows 3.1 e successive, Windows 95/98; Lettore di CD-ROM 2x; Internet Explorer o Netscape; Monitor a 256 colori; Altoparlanti o cuffie; Scheda audio; Macintosh 68030 o superiore; System 7.5 e successive. - Tit. dell'etichetta 650 4$aAcqua$xGestione$xEconomia$zItalia$ySec. 12.-18. 700 1 $aCavaciocchi, Simonetta 710 2 $aIstituto internazionale di storia economica Francesco Datini 907 $a.b13978512$b07-06-11$c16-05-11 912 $a991001211209707536 945 $aLE023 333.911 ACQ CD 1 $g1$i2023000127391$lle023$o-$pE5.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15276065$z31-05-11 996 $aAcque interne, secc. 12-18.$9246632 997 $aUNISALENTO 998 $ale023$b16-05-11$cm$dp $e-$fita$git $h3$i0 LEADER 04040nam 22008295 450 001 9910404119103321 005 20251225183438.0 010 $a9783030452346 010 $a3030452344 024 7 $a10.1007/978-3-030-45234-6 035 $a(CKB)4100000011223247 035 $a(DE-He213)978-3-030-45234-6 035 $a(MiAaPQ)EBC6420117 035 $a(Au-PeEL)EBL6420117 035 $a(OCoLC)1170134309 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/28633 035 $a(PPN)243761066 035 $a(MiAaPQ)EBC31734345 035 $a(Au-PeEL)EBL31734345 035 $a(oapen)doab28633 035 $a(EXLCZ)994100000011223247 100 $a20200420d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamental Approaches to Software Engineering $e23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25?30, 2020, Proceedings /$fedited by Heike Wehrheim, Jordi Cabot 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIII, 552 p. 1 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12076 311 08$a9783030452339 311 08$a3030452336 327 $aRequirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. 330 $aThis open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12076 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aMicroprogramming 606 $aComputer systems 606 $aComputer networks 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aControl Structures and Microprogramming 606 $aComputer System Implementation 606 $aComputer Communication Networks 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aMicroprogramming. 615 0$aComputer systems. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aControl Structures and Microprogramming. 615 24$aComputer System Implementation. 615 24$aComputer Communication Networks. 615 24$aArtificial Intelligence. 676 $a005.1 700 $aWehrheim$b Heike$4edt$01351239 702 $aWehrheim$b Heike$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCabot$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910404119103321 996 $aFundamental Approaches to Software Engineering$93091236 997 $aUNINA