Title: Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Abstract data types (computer science), Programming Techniques, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)