01394nas0-2200409---450-99000104540020331620050601122135.00104540USA010104540(ALEPH)000104540USA01010454020020319b19771981km-y0itay0103----baitaITafa--------<<Il>> montanaro d'Italia. Monti e boschirivista dell'Unione nazionale comuni, comunità ed enti montaniA. 28, n. 1 (gen.-feb. 1977)-a. 32, n. 6 (nov.-dic. 1981).TorinoStigra1977-1981v.28 cmMensile0010001046212001Monti e boschi0012001<<Il>> Montanaro d' Italiaquindicinale dell'Unione nazionale comuni ed enti montani634.9ITsalbcISBD990001045400203316UMAFondo1977-1981.SEPATTY9020020319USA01174420020403USA011745VITTORIANA9020040225USA011331VITTORIANA9020040225USA011342PATRY9020040406USA011712ESTER9020050601USA011211ESTER9020050601USA011212ESTER9020050601USA011221Montanaro d'Italia. Monti e boschi792781UNISA03652nam 22007455 450 99646594170331620200701005140.03-642-23702-910.1007/978-3-642-23702-7(CKB)2550000000050776(SSID)ssj0000610913(PQKBManifestationID)11365208(PQKBTitleCode)TC0000610913(PQKBWorkID)10645107(PQKB)10861427(DE-He213)978-3-642-23702-7(MiAaPQ)EBC3067199(PPN)156312417(EXLCZ)99255000000005077620110909d2011 u| 0engurnn|008mamaatxtccrStatic Analysis[electronic resource] 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings /edited by Eran Yahav1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XII, 387 p.) Programming and Software Engineering ;6887Bibliographic Level Mode of Issuance: Monograph3-642-23701-0 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.Programming and Software Engineering ;6887Software engineeringComputer logicProgramming languages (Electronic computers)Mathematical logicComputer programmingComputer simulationSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Software engineering.Computer logic.Programming languages (Electronic computers).Mathematical logic.Computer programming.Computer simulation.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Programming Techniques.Simulation and Modeling.005.1Yahav Eranedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465941703316Static Analysis772085UNISA