LEADER 00939nam0-2200325---450- 001 990009532430403321 005 20120223105053.0 010 $a978-88-568-2544-2 035 $a000953243 035 $aFED01000953243 035 $a(Aleph)000953243FED01 035 $a000953243 100 $a20120223d2010----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $aIntroduzione alla psicologia dello sviluppo sociale$fIrene Petruccelli 210 $aMilano$cFrancoAngeli$d2010 215 $a187 p.$cill.$d24 cm 225 1 $aPsicologia$iTextbook 610 0 $aPsicologia sociale 676 $a155$v22$zita 700 1$aPetruccelli,$bIrene$0515385 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009532430403321 952 $aCollez. 2128 (36)$b47128$fFSPBC 959 $aFSPBC 996 $aIntroduzione alla psicologia dello sviluppo sociale$9855407 997 $aUNINA LEADER 03752nam 22007815 450 001 9910483524003321 005 20251117074504.0 010 $a3-642-54013-9 024 7 $a10.1007/978-3-642-54013-4 035 $a(CKB)3710000000085823 035 $a(DE-He213)978-3-642-54013-4 035 $a(SSID)ssj0001187621 035 $a(PQKBManifestationID)11673378 035 $a(PQKBTitleCode)TC0001187621 035 $a(PQKBWorkID)11271024 035 $a(PQKB)10697537 035 $a(MiAaPQ)EBC3093427 035 $a(PPN)176118470 035 $a(EXLCZ)993710000000085823 100 $a20140103d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification, Model Checking, and Abstract Interpretation $e15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /$fedited by Kenneth McMillan, Xavier Rival 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 493 p. 120 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8318 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-54012-0 320 $aIncludes bibliographical references and author index. 327 $aProgram verification -- Model checking -- Abstract interpretation and abstract domains -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8318 606 $aComputer science 606 $aSoftware engineering 606 $aComputer networks 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aArtificial Intelligence. 676 $a005.14 702 $aMcMillan$b Kenneth$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRival$b Xavier$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483524003321 996 $aVerification, Model Checking, and Abstract Interpretation$92593983 997 $aUNINA