Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / [electronic resource] :
edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5065 0302-9743 ; .
9783540686798
Computer science Software engineering Computer software Logic design Algebra--Data processing Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Software Engineering Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation