LEADER 01343nam--2200385---450- 001 990002914500203316 005 20090727113806.0 010 $a88-387-2185-8 035 $a000291450 035 $aUSA01000291450 035 $a(ALEPH)000291450USA01 035 $a000291450 100 $a20070502d2007----km-y0itaa50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aFormulario delle locazioni e del condominio$econtratti e contenzioso$e166 formule con note legislative, giurisprudenziali e fiscali$econ CD-ROM contenente il testo delle formule personalizzabili e normativa$fBenito Nigro 205 $a5. ed. aggiornata 210 $aRimini$cMaggioli$dcopyr. 2007 215 $a904 p.$d24 cm.$e1 CD-ROM 225 2 $aLegale civile$v14 410 0$12001$aLegaleCivile$v80 606 0 $aLogazioni$xLegislazione$xGuide pratiche 676 $a346.4504346 700 1$aNIGRO,$bBenito$0253889 801 0$aIT$bsalbc$gISBD 912 $a990002914500203316 951 $aXXV.1.H 469 (IG I 2616 A)$b53978 G.$cXXV.1.H 469 (IG I)$d00157777 959 $aBK 969 $aGIU 979 $aCAPORASO$b90$c20070502$lUSA01$h1144 979 $aCHIARA$b90$c20080424$lUSA01$h1005 979 $aRSIAV5$b90$c20090727$lUSA01$h1138 996 $aFormulario delle locazioni e del condominio$9939302 997 $aUNISA LEADER 03562nam 22007335 450 001 996465687503316 005 20230330030621.0 010 $a3-319-94111-9 024 7 $a10.1007/978-3-319-94111-0 035 $a(CKB)3810000000358689 035 $a(DE-He213)978-3-319-94111-0 035 $a(MiAaPQ)EBC6303541 035 $a(PPN)229494609 035 $a(EXLCZ)993810000000358689 100 $a20180615d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel Checking Software$b[electronic resource] $e25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /$fedited by Marķa del Mar Gallardo, Pedro Merino 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 347 p. 78 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869 311 $a3-319-94110-0 320 $aIncludes bibliographical references and index. 327 $aFormal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques. . 330 $aThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer simulation 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Modelling 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer simulation. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Modelling. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.14 702 $aGallardo$b Marķa del Mar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMerino$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465687503316 996 $aModel Checking Software$9771961 997 $aUNISA