Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Michael Johnson (Editor), Dusko Pavlovic (Editor)

    Research output: Book/Report › Book editing › Academic

    190 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Number of pages235
    ISBN (Electronic)978-3-642-17796-5
    ISBN (Print)978-3-642-17795-8
    DOIs
    Publication statusPublished - Jan 2011
    Event13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010 - Lac-Beauport, Canada
    Duration: 23 Jun 2010 → 25 Jun 2010
    Conference number: 13

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume6486
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • Software Technology
    • Methodology
    • Algebraic
    • Computer algebra
    • Constraint programming
    • Correctness
    • Formal languages
    • Formal methods
    • Functional programming
    • Logic programming
    • Requirements engineering
    • Software architecture
    • Software engineering
    • Software portability
    • Software validation
    • Software verification
    • Theorem proving
    • Web programming

    Access to Document

      Cite this