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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5065 0302-9743 ; . - Lecture Notes in Computer Science, 5065 .
9783540686798
10.1007/978-3-540-68679-8 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5065 0302-9743 ; . - Lecture Notes in Computer Science, 5065 .
9783540686798
10.1007/978-3-540-68679-8 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113