Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu.
By: Meseguer, José.
Contributor(s): Roşu, Grigore | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 5140.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540799801.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 eBooksNo physical items for this record
There are no comments for this item.