Library of American University of Madaba

Normal View MARC View ISBD View

Johnson, Michael.

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / [electronic resource] : edited by Michael Johnson, Dusko Pavlovic. - X, 238p. online resource. - Lecture Notes in Computer Science, 6486 0302-9743 ; .

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.

ISBN: 9783642177965

Subjects--Topical Terms:
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1