03748nam 22007575 450 99646563750331620230220214744.01-280-38680-097866135647263-642-13321-510.1007/978-3-642-13321-3(CKB)2670000000028901(SSID)ssj0000446618(PQKBManifestationID)11298842(PQKBTitleCode)TC0000446618(PQKBWorkID)10497754(PQKB)10752553(DE-He213)978-3-642-13321-3(MiAaPQ)EBC3065463(PPN)149063555(EXLCZ)99267000000002890120100625d2010 u| 0engurnn|008mamaatxtccrMathematics of Program Construction[electronic resource] 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /edited by Claude Bolduc, Jules Desharnais, Bechir Ktari1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 427 p. 57 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6120Bibliographic Level Mode of Issuance: Monograph3-642-13320-7 Includes bibliographical references and index.Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement.Theoretical Computer Science and General Issues,2512-2029 ;6120Software engineeringImmunologyComputer programmingComputer scienceMachine theorySoftware EngineeringImmunologyProgramming TechniquesComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware engineering.Immunology.Computer programming.Computer science.Machine theory.Software Engineering.Immunology.Programming Techniques.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.10151Bolduc Claudeedthttp://id.loc.gov/vocabulary/relators/edtDesharnais Julesedthttp://id.loc.gov/vocabulary/relators/edtKtari Bechiredthttp://id.loc.gov/vocabulary/relators/edtMPC 2010BOOK996465637503316Mathematics of Program Construction2915783UNISA02178nam 2200565 450 991079732750332120230803040725.088-921-5530-X(CKB)3710000000453142(EBL)2097546(SSID)ssj0001577544(PQKBManifestationID)16247995(PQKBTitleCode)TC0001577544(PQKBWorkID)14856350(PQKB)10577782(MiAaPQ)EBC2097546(Au-PeEL)EBL2097546(CaPaEBR)ebr11079338(OCoLC)914433270(EXLCZ)99371000000045314220150803h20132013 uy 0itaur|n|---|||||txtccrIl Ruolo Dello Stato Nelle Dinamiche Della Responsabilità Civile Da Danni Di Massa Tre variazioni sul tema: uranio impoverito, emoderivati e Vajont /Alessandro ManteleroTorino, [Italy] :G. Giappichelli Editore,2013.©20131 online resource (241 p.)Studi di Diritto Privato ;51Description based upon print version of record.88-348-7832-9 Cover; Quartino; Dedica; INDICE; Premessa; CAPITOLO I -LO STATO AUTORE DEL DANNO:IL CASO DELL'URANIO IMPOVERITO; CAPITOLO II -LO STATO CO-AUTORE DEL DANNO:IL CASO DEI MEDICINALI E DEI DANNIDA TRASFUSIONE; CAPITOLO III -LO STATO GESTORE DEL POST-DISASTRO:IL CASO VAJONT; CAPITOLO IV -CONSIDERAZIONI D'INSIEME; VOLUMI PUBBLICATIStudi di diritto privato (Turin, Italy) ;51.Liability (Law)ItalyLiability for environmental damagesItalyLiability insuranceItalyLiability (Law)Liability for environmental damagesLiability insurance346.4502Mantelero Alessandro287815MiAaPQMiAaPQMiAaPQBOOK9910797327503321Il Ruolo Dello Stato Nelle Dinamiche Della Responsabilità Civile Da Danni Di Massa3798498UNINA