LEADER 01106nam2 22002773i 450 001 CAG0047749 005 20170908093241.0 100 $a20140930d1975 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 0 $a1$fCharles Dickens 210 $aNovara$cEDIPEM$dc1975$hstampa 1977 215 $a374 p.$d20 cm. 225 | $a˜La Âœnostra biblioteca classica$v90 410 0$1001SBL0018661$12001 $a˜La Âœnostra biblioteca classica$v90 461 1$1001CAG0047747$12001 $aDavid Copperfield$fCharles Dickens$v1 801 3$aIT$bIT-NA0079$c20140930 850 $aIT-SA0238$aIT-SA0272 912 $aCAG0047749 950 2$aBiblioteca della Fondazione Alario per Elea-Velia$d 55LETT. MOD.L-FIL-LETT/01$e 55 0000025895 B 124$fC $h20160120$i20160120 950 2$aBiblioteca Edith Stein dell'Istituto Santa Teresa del Gesù Bambino$cv. 1-2$d ESSALA ES 823 DIC da$e ES 0000020035 B (0001 v. 1$fT $h20120510$i20120510 977 $a 55$a ES 996 $a1$961339 997 $aUNISANNIO LEADER 03368nam 22006373u 450 001 996464553903316 005 20230221130000.0 010 $a3-030-99527-5 035 $a(CKB)5850000000014420 035 $aEBL6942731 035 $a(AU-PeEL)EBL6942731 035 $a(MiAaPQ)EBC6942731 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81346 035 $a(PPN)261518283 035 $a(EXLCZ)995850000000014420 100 $a20220617d2022|||| uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and algorithms for the construction and analysis of systems $e28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II 210 $aCham $cSpringer International Publishing AG$d2022 215 $a1 online resource (xxi, 493 pages) $cillustrations 225 1 $aLecture notes in computer science$vv.13244 300 $aDescription based upon print version of record. 311 1 $a3-030-99526-7 330 $aThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. 410 0$aLecture notes in computer science$v13244. 606 $aComputer software$xVerification$vCongresses 606 $aSystem analysis$vCongresses 606 $aSystem design$vCongresses 610 $aembedded systems 610 $aformal languages and automata theory 610 $aFormal methods and theory of security 610 $aMachine learning 610 $aModeling and simulation 610 $aSemantics and reasoning 610 $asoftware and hardware verification 610 $aspecification and verification techniques 610 $astatic and dynamic program analysis 610 $aSymbolic and algebraic manipulation 610 $asystem construction and transformation techniques 615 0$aComputer software$xVerification 615 0$aSystem analysis 615 0$aSystem design 700 $aFisman$b Dana$4edt$01072889 701 $aFisman$b Dana$01072889 701 $aRosu$b Grigore$01237102 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a996464553903316 996 $aTools and Algorithms for the Construction and Analysis of Systems$92871957 997 $aUNISA LEADER 00934nam0-22002771i-450 001 990004740880403321 005 20251222104935.0 035 $a000474088 035 $aFED01000474088 035 $a(Aleph)000474088FED01 100 $a19990530g19389999km-y0itay50------ba 101 0 $afre 105 $ay-------001yy 200 1 $aDe Saint Bon eveque de Clermont$eMiracle versifié$fpar Gautier de Coinci$gÉdition critique d'après tous les manuscrits connus par G. Lozinski 210 $aHelsinki$c[äuomalinen Tiedeakatemia]$d1938 215 $a132 p.$d24 cm 225 1 $aAnnales Academiae Scientiarum Fennicae. B XL$v1 700 1$aGautier de Coincy$f<117.-1236>$0452830 702 1$aLozinski,$bG. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004740880403321 952 $a2/VII E 54 (2)$bR. Bibl. 16007$fFLFBC 959 $aFLFBC 996 $aDe Saint Bon eveque de Clermont$94482432 997 $aUNINA