LEADER 01367nam--2200433---450- 001 990005823670203316 005 20130402133145.0 010 $a978-88-387-7307-6 035 $a000582367 035 $aUSA01000582367 035 $a(ALEPH)000582367USA01 035 $a000582367 100 $a20130402d2013----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aCodice del commercio$ela disciplina amministrativa nazionale e regionale$fa cura di Enzo Maria Tripodi, Federica Fraisopi, Giuseppe Dell'Aquila 205 $a3. ed. interamente riveduta e aggiornata 210 $aSantarcangelo di Romagna$cMaggioli$d2013 215 $a2479 p.$d20 cm$e1 CD-ROM 225 2 $aCodici Maggioli$v38 410 0$12001$aCodici Maggioli$v, 38 454 1$12001 461 1$1001-------$12001 606 0 $aCommercio$xLegislazione$2BNCF 676 $a346.4508802632 702 1$aTRIPODI,$bEnzo Maria 702 1$aFRAISOPI,$bFederica 702 1$aDELL'AQUILA,$bGiuseppe 710 01$aITALIA$0423419 801 0$aIT$bsalbc$gISBD 912 $a990005823670203316 951 $aXXV.3.A. 140$b76350 G$cXXV.3.A.$d00291688 959 $aBK 969 $aGIU 979 $aFIORELLA$b90$c20130402$lUSA01$h1320 979 $aFIORELLA$b90$c20130402$lUSA01$h1331 996 $aCodice del commercio$9666826 997 $aUNISA LEADER 01329nam 2200337Ia 450 001 996385949103316 005 20200824132132.0 035 $a(CKB)4940000000076270 035 $a(EEBO)2248550990 035 $a(OCoLC)ocm12283319e 035 $a(OCoLC)12283319 035 $a(EXLCZ)994940000000076270 100 $a19850719d1658 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe Christians rescue from the grand error of the heathen$b[electronic resource] $e(touching the fatal necessity of all events) and the dismal consequences thereof, which have slily crept into the church : in several defences of some notes, writ to vindicate the primitive and scriptural doctrine of Gods decrees /$fby Thomas Pierce .. 210 $aLondon $cPrinted by J.G. for Richard Royston ...$d1658 215 $a5 pts 300 $aReproduction of original in Thomason Collection, British Library. 300 $aMarginal notes. 300 $aImperfect: all but the introductions are lacking in the filmed copy. 330 $aeebo-0158 700 $aPierce$b Thomas$f1622-1691.$01001240 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996385949103316 996 $aThe Christians rescue from the grand error of the heathen$92352046 997 $aUNISA LEADER 01533nam a2200301 i 4500 001 991003987679707536 008 210930s2020 it 000 0 ita d 020 $a9788806239749 (v. 1) 020 $a9788806248635 (v. 2) 035 $ab14419361-39ule_inst 040 $aBibl. Interfacoltà T. Pellegrino$bita 082 04$a843.1 245 00$aArtù, Lancillotto e il Graal :$bciclo di romanzi francesi del XIII secolo /$ca cura di Lino Leonardi 260 $aTorino :$bEinaudi,$c2020 300 $a2 v. ;$c22 cm. 490 1 $amillenni (I) 500 $aIn custodia 505 0 $gv. 1.: La$tstoria del santo Graal . La storia di Merlino . Il seguito della storia di Merlino / traduzione, introduzioni e commento a cura di Carlo Beretta ... [et al.].$g- XXX, 1115 p., [15] carte di tav. : ill. 505 0 $gv. 2.:$tLancillotto del Lago: (la Marca di Gallia . Galehaut) / traduzione, introduzioni e commento di Luca Di Sabatino ... [et al.]. -$gIX, 876 p., 16 carte di tav. : ill. 650 4$aArtù 907 $a.b14419361$b30-09-21$c30-09-21 912 $a991003987679707536 945 $aLE002 Coll. 4. 96/001$cv. 1$g1$i2002001096301$lle002$op$pE90.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15977274$z30-09-21 945 $aLE002 Coll. 4. 96/002$cv. 2$g1$i2002001096318$lle002$op$pE90.00$q-$rn$so $t0$u0$v0$w0$x0$y.i1597733x$z30-09-21 996 $aArtù, Lancillotto e il Graal$91836634 997 $aUNISALENTO 998 $ale002$b22-09-21$cm$da $e-$fita$git $h0$i0 LEADER 04987nam 22008655 450 001 9910484726903321 005 20251113203045.0 010 $a1-282-33177-9 010 $a9786612331770 010 $a3-642-03240-0 024 7 $a10.1007/978-3-642-03240-0 035 $a(CKB)1000000000761243 035 $a(EBL)450518 035 $a(OCoLC)437345752 035 $a(SSID)ssj0000296711 035 $a(PQKBManifestationID)11192218 035 $a(PQKBTitleCode)TC0000296711 035 $a(PQKBWorkID)10328065 035 $a(PQKB)11092935 035 $a(DE-He213)978-3-642-03240-0 035 $a(MiAaPQ)EBC450518 035 $a(MiAaPQ)EBC6386345 035 $a(PPN)136310826 035 $a(EXLCZ)991000000000761243 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems $e13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers /$fedited by Darren Cofer, Alessandro Fantechi 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (241 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5596 300 $aIncludes index. 311 08$a3-642-03239-7 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP//B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5596 606 $aComputer networks 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aComputers, Special purpose 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 686 $aDAT 260f$2stub 686 $aDAT 343f$2stub 686 $aSS 4800$2rvk 702 $aCofer$b Darren 702 $aFantechi$b Alessandro 712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484726903321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA