International Conference on Algebraic Methodology and Software Technology (2008 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
主題
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.