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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Johnson, Michael (Επιμελητής έκδοσης), Vene, Varmo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4019
• Θέματα: 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...