Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / [electronic resource] :
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- xv, 809 p. : ill., port., digital ; 24 cm.
- Lecture Notes in Computer Science, 5065 0302-9743 ; .
9783540686798 (electronic bk.) 9783540686767 (paper)
Rewriting systems (Computer science)
Software engineering.
Multitasking (Computer science)
Computer simulation.
Computer software--Verification.
Computer programming.
Computer Science.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
005.2
9783540686798 (electronic bk.) 9783540686767 (paper)
Rewriting systems (Computer science)
Software engineering.
Multitasking (Computer science)
Computer simulation.
Computer software--Verification.
Computer programming.
Computer Science.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
005.2