International Conference on Algebraic Methodology and Software Technology (2008 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Logics and Meanings of Programs.
Programming Techniques.
Software engineering- Congresses.
Artificial Intelligence (incl. Robotics)
Abstract data types (Computer science)- Congresses.
Computer Science.
Symbolic and Algebraic Manipulation.