Degano, Pierpaolo.

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

QA267.3 / D44 2008