TY - DATA AU - Degano,Pierpaolo AU - Nicola,Rocco AU - Meseguer,José ED - SpringerLink (Online service) TI - Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday SN - 9783540686798 AV - QA267.3 D44 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Software engineering KW - Computer software KW - Logic design KW - Algebra KW - Data processing KW - Artificial intelligence KW - Computer Science KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Algorithm Analysis and Problem Complexity KW - Software Engineering KW - Artificial Intelligence (incl. Robotics) KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-68679-8 ER -