Image from Amazon.com
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by Jose Meseguer, Grigore Rosu.
Series: Lecture Notes in Computer Science ; 5140Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: xiii, 432 p. : ill., digital ; 24 cmISBN:- 9783540799801 (electronic bk.)
- 9783540799795 (paper)
- AMAST 2008
- 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
- 005.101512 22
- QA76.758 .I5713 2008
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.