01235nam0-22003131i-450-99000746228040332120100618135733.0000746228FED01000746228(Aleph)000746228FED0100074622820030813d1983----km-y0itay50------baitaRicostruire l'agricoltura per ricostruire l'ambienteatti del III convegno sulla salvaguardia dell'ambiente nel Mezzogiorno, Lecce 7-8-9 ottobre 1982Istituto di Geografia, Facoltà di Magistero dell'Università di Leccea cura di Cecilia Santoro LezziGalatina (Lecce)Congedo Edit.1983686 p.24 cmItalia meridionaleAgricolturaMezzogiornoAmbienteAgricolturaSantoro Lezzi,Cecilia<1935- >Convegno sulla salvaguardia dell'ambiente nel Mezzogiorno,3.<1982 ;Lecce>269512Università degli studi di Lecce.Istituto di geografiaITUNINARICAUNIMARCBK990007462280403321A-G 0139B.c.5500ILFGEILFGERicostruire l'agricoltura per ricostruire l'ambiente232021UNINA05303nam 22007695 450 99646590910331620200704051513.01-280-38884-697866135667683-642-15643-610.1007/978-3-642-15643-4(CKB)2670000000045082(SSID)ssj0000446325(PQKBManifestationID)11249867(PQKBTitleCode)TC0000446325(PQKBWorkID)10491643(PQKB)11571505(DE-He213)978-3-642-15643-4(MiAaPQ)EBC3065887(PPN)149024800(EXLCZ)99267000000004508220100920d2010 u| 0engurnn|008mamaatxtccrAutomated Technology for Verification and Analysis[electronic resource] 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /edited by Ahmed Bouajjani, Wei-Ngan Chin1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (VIII, 404 p. 112 illus.) Programming and Software Engineering ;6252Bibliographic Level Mode of Issuance: Monograph3-642-15642-8 Includes bibliographical references and index.Invited Talks -- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results -- Abstraction Learning -- Synthesis: Words and Traces -- Regular Papers -- Promptness in ?-Regular Automata -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed Systems -- Composing Reachability Analyses of Hybrid Systems for Safety and Stability -- The Complexity of Codiagnosability for Discrete Event and Timed Systems -- On Scenario Synchronization -- Compositional Algorithms for LTL Synthesis -- What’s Decidable about Sequences? -- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network -- Lattice-Valued Binary Decision Diagrams -- A Specification Logic for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs -- An Approach for Class Testing from Class Contracts -- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata -- Reachability as Derivability, Finite Countermodels and Verification -- LTL Can Be More Succinct -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems -- Symbolic Unfolding of Parametric Stopwatch Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis -- CRI: Symbolic Debugger for MCAPI Applications -- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems -- Developing Model Checkers Using PAT -- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B -- COMBINE: A Tool on Combined Formal Methods for Bindingly Verification -- Rbminer: A Tool for Discovering Petri Nets from Transition Systems.Programming and Software Engineering ;6252Software engineeringComputer programmingComputer communication systemsComputer logicProgramming languages (Electronic computers)Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer programming.Computer communication systems.Computer logic.Programming languages (Electronic computers).Software Engineering/Programming and Operating Systems.Software Engineering.Programming Techniques.Computer Communication Networks.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.511.3/6028563Bouajjani Ahmededthttp://id.loc.gov/vocabulary/relators/edtChin Wei-Nganedthttp://id.loc.gov/vocabulary/relators/edtATVA 2010BOOK996465909103316Automated Technology for Verification and Analysis772478UNISA