03936nam 22007935 450 99646603260331620200629150134.03-642-17796-410.1007/978-3-642-17796-5(CKB)2670000000064735(SSID)ssj0000475848(PQKBManifestationID)11304162(PQKBTitleCode)TC0000475848(PQKBWorkID)10468781(PQKB)11675947(DE-He213)978-3-642-17796-5(MiAaPQ)EBC3066332(PPN)149906412(EXLCZ)99267000000006473520110114d2011 u| 0engurnn|008mamaatxtccrAlgebraic Methodology and Software Technology[electronic resource] 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers /edited by Michael Johnson, Dusko Pavlovic1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 238 p. 46 illus., 10 illus. in color.) Programming and Software Engineering ;6486Bibliographic Level Mode of Issuance: Monograph3-642-17795-6 Includes bibliographical references and index.pt. 1. Invited paper -- pt. 2. Contributed research papers -- pt. 3. System demonstrations.This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.Programming and Software Engineering ;6486Software engineeringComputer logicProgramming languages (Electronic computers)Mathematical logicArtificial intelligenceComputer programmingSoftware 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/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Conference papers and proceedings.fastSoftware engineering.Computer logic.Programming languages (Electronic computers).Mathematical logic.Artificial intelligence.Computer programming.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Artificial Intelligence.Programming Techniques.005.1Johnson Michaeledthttp://id.loc.gov/vocabulary/relators/edtPavlovic Duskoedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Algebraic Methodology and Software TechnologyBOOK996466032603316Algebraic Methodology and Software Technology774301UNISA