03416nam 22007575 450 99646587740331620230406022709.03-642-27940-610.1007/978-3-642-27940-9(CKB)3400000000025772(SSID)ssj0000611118(PQKBManifestationID)11411714(PQKBTitleCode)TC0000611118(PQKBWorkID)10644368(PQKB)11236865(DE-He213)978-3-642-27940-9(MiAaPQ)EBC3070886(PPN)159087228(EXLCZ)99340000000002577220120119d2012 u| 0engurnn|008mamaatxtccrVerification, Model Checking, and Abstract Interpretation[electronic resource] 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings /edited by Viktor Kuncak, Andrey Rybalchenko1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (X, 457 p. 111 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7148Bibliographic Level Mode of Issuance: Monograph3-642-27939-2 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.Theoretical Computer Science and General Issues,2512-2029 ;7148Computer scienceSoftware engineeringCompilers (Computer programs)AlgorithmsMachine theoryComputer programmingComputer Science Logic and Foundations of ProgrammingSoftware EngineeringCompilers and InterpretersAlgorithmsFormal Languages and Automata TheoryProgramming TechniquesComputer science.Software engineering.Compilers (Computer programs).Algorithms.Machine theory.Computer programming.Computer Science Logic and Foundations of Programming.Software Engineering.Compilers and Interpreters.Algorithms.Formal Languages and Automata Theory.Programming Techniques.005.1015113Kuncak Viktoredthttp://id.loc.gov/vocabulary/relators/edtRybalchenko Andreyedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465877403316Verification, Model Checking, and Abstract Interpretation2593983UNISA03017nam0-2200361---450 991031715760332120241205165622.0o-um t,ta e-C. rute (3) 1631 (R)feiIT-NA0338: e I 1420190502d1631----km-y0itay50------balatCHa-----------------bb0-------C. Plinij Secundi Historiæ mundi libri XXXVII Opus omni quidem commendatione maius, sed nullis ad hunc diem editionibus, nulla cuiusquam singulari vel opera, vel industria, à mendis, quæ aut temporum iniquitate, aut superiorum ætatum negligentia, inter Latinos primæ notæ scriptorem hactenus occuparunt, satis vnquam emaculatum fuerit. Nunc denuo quanta præstari potuit fide ... D. Iacobi Dalecampii præstantissimi medici manum, ita fœliciter repurgatum: variis quoque Sigism. Gelenii, Fredenandi Pintiani, & aliorum lectionibus, castigationibus, & adnotationibus eruditissimis ornatum; vt nihil posthac huic operi desiderari posse videatur. Accessere itidem indices vtiles & necessarij[Ginevra]sumptibus Iacobi Crispini1631[38], 746, [168], 173, [1] p.fol.Segn.: ¶-3¶⁶ a-z⁶ A-2Q⁶ a-m⁶ n-o⁴ ¶⁴, 2A-2B⁶ 2C⁴ 2D-2K⁶ H⁶ 2M-P⁶. - Ultima carta bianca. - Omesse le pp. 731-732Seguono con proprio occhietto a c. a1r.: Index in C. Plinii Secundi ...; a c. ¶1r.: In C. Plinii historiae naturalis libros omnes ...; a c. 2N4r.: Beati Rhenani ... in C. Plinius annotationes ...Front. stampato in rosso e neroMarca (Fontana) sul front.Piatto anteriore staccato; note ms a inchiostro sull'occhietto e sul front.IT-NA0338: e I 14Svizzera.GinevraPlinius Secundus,Gaius<23-70>208975Dalechamps,Jacques<1513-1588>Gelen,Sigmund<1497-1554>Crespin,Jacques<1606-1642>650ITUNINAREICATUNIMARCVisualizza la versione elettronica in Google Bookshttps://books.google.it/books?id=joyaS16k4xkC&printsec=frontcover&hl=it&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false20190502AQ9910317157603321e I 14361DBVDBVC. Plinij Secundi Historiæ mundi libri XXXVII Opus omni quidem commendatione maius, sed nullis ad hunc diem editionibus, nulla cuiusquam singulari vel opera, vel industria, à mendis, quæ aut temporum iniquitate, aut superiorum ætatum negligentia, inter Latinos primæ notæ scriptorem hactenus occuparunt, satis vnquam emaculatum fuerit. Nunc denuo quanta præstari potuit fide ... D. Iacobi Dalecampii præstantissimi medici manum, ita fœliciter repurgatum: variis quoque Sigism. Gelenii, Fredenandi Pintiani, & aliorum lectionibus, castigationibus, & adnotationibus eruditissimis ornatum; vt nihil posthac huic operi desiderari posse videatur. Accessere itidem indices vtiles & necessarij1550841UNINA