Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Johnson, Michael (Editor), Vene, Varmo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4019
• Subjects: Computer science.; Software engineering.; Computer programming.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Programming Techniques.; Symbolic and Algebraic Manipulation.

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most p...