03208nam 22007335 450 99646595100331620200705163440.03-642-15769-610.1007/978-3-642-15769-1(CKB)2670000000045102(SSID)ssj0000446802(PQKBManifestationID)11314930(PQKBTitleCode)TC0000446802(PQKBWorkID)10504693(PQKB)10530085(DE-He213)978-3-642-15769-1(MiAaPQ)EBC3065874(PPN)149031823(EXLCZ)99267000000004510220100913d2010 u| 0engurnn|008mamaatxtccrStatic Analysis[electronic resource] 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /edited by Radhia Cousot, Matthieu Martel1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XI, 473 p. 131 illus.) Programming and Software Engineering ;6337Bibliographic Level Mode of Issuance: Monograph3-642-15768-8 Includes bibliographical references and index.Programming and Software Engineering ;6337Software engineeringProgramming languages (Electronic computers)Computer programmingComputer logicMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Programming languages (Electronic computers).Computer programming.Computer logic.Mathematical logic.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.1Cousot Radhiaedthttp://id.loc.gov/vocabulary/relators/edtMartel Matthieuedthttp://id.loc.gov/vocabulary/relators/edtInternational Static Analysis SymposiumBOOK996465951003316Static Analysis772085UNISA