Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.
By: Johnson, Michael.
Contributor(s): Vene, Varmo | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 4019.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540356363.Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Software Engineering | Programming Techniques | Symbolic and Algebraic Manipulation | Artificial Intelligence (incl. Robotics)DDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.