Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / [electronic resource] :
AMAST 2008
edited by Jose Meseguer, Grigore Rosu.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- xiii, 432 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 5140 0302-9743 ; .
9783540799801 (electronic bk.) 9783540799795 (paper)
Software engineering--Congresses.
Abstract data types (Computer science)--Congresses.
Algebraic logic--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA76.758 / .I5713 2008
005.101512
9783540799801 (electronic bk.) 9783540799795 (paper)
Software engineering--Congresses.
Abstract data types (Computer science)--Congresses.
Algebraic logic--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA76.758 / .I5713 2008
005.101512