LEADER 01492nam2-2200433---450- 001 990000325680203316 005 20140407130203.0 035 $a0032568 035 $aUSA010032568 035 $a(ALEPH)000032568USA01 035 $a0032568 100 $a20010118d1997----km-y0itay0103----ba 105 $a||||||||001yy 200 1 $a<<21: Il>> risparmio gestito in Italia$ecaratteristiche generali e problemi di regolamentazione$fintervento di Marco Onado 210 $aRoma$cCONSOB$d1997 215 $a22 p.$d29 cm 225 2 $aQuaderni di finanza$iDocumenti$v21 410 $12001$aQuaderni di finanza$iDocumenti$v21 461 1$1001000556501$12001$aQuaderni di finanza 606 0 $aRisparmio$yItalia 676 $a339.430945 702 1$aONADO,$bMarco 712 12$aCommissione nazionale per le società e la borsa 801 0$aIT$bsalbc$gISBD 912 $a990000325680203316 951 $aFondo periodici (IEP VII 177)$b26419 G$cIEP VII$d00005812 959 $aBK 969 $aECO 979 $aPATTY$b90$c20010118$lUSA01$h1134 979 $aPATTY$b90$c20010118$lUSA01$h1201 979 $aPATTY$b90$c20010118$lUSA01$h1247 979 $aPATTY$b90$c20010122$lUSA01$h1235 979 $c20020403$lUSA01$h1640 979 $aPATRY$b90$c20040406$lUSA01$h1623 979 $aRSIAV4$b90$c20090227$lUSA01$h1157 979 $aPATRY$b90$c20140407$lUSA01$h1257 979 $aPATRY$b90$c20140407$lUSA01$h1302 996 $aRisparmio gestito in Italia$9879870 997 $aUNISA LEADER 03708nam 22008295 450 001 9910484217903321 005 20251226195130.0 010 $a3-319-19797-5 024 7 $a10.1007/978-3-319-19797-5 035 $a(CKB)3710000000436885 035 $a(SSID)ssj0001547031 035 $a(PQKBManifestationID)16141141 035 $a(PQKBTitleCode)TC0001547031 035 $a(PQKBWorkID)14796322 035 $a(PQKB)10487311 035 $a(DE-He213)978-3-319-19797-5 035 $a(MiAaPQ)EBC6283357 035 $a(MiAaPQ)EBC5577571 035 $a(Au-PeEL)EBL5577571 035 $a(OCoLC)911181629 035 $a(PPN)186399413 035 $a(EXLCZ)993710000000436885 100 $a20150609d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction $e12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /$fedited by Ralf Hinze, Janis Voigtländer 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XIV, 323 p. 44 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9129 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-19796-7 327 $aType Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9129 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aCompilers (Computer programs) 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aDiscrete Mathematics in Computer Science 606 $aCompilers and Interpreters 606 $aMathematical Applications in Computer Science 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aCompilers (Computer programs). 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aCompilers and Interpreters. 615 24$aMathematical Applications in Computer Science. 676 $a005.1 702 $aHinze$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVoigtländer$b Janis$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484217903321 996 $aMathematics of Program Construction$92915783 997 $aUNINA