Bravetti, Mario.
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / [electronic resource] : edited by Mario Bravetti, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5710 0302-9743 ; . - Lecture Notes in Computer Science, 5710 .
9783642040818
10.1007/978-3-642-04081-8 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Theory of Computation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / [electronic resource] : edited by Mario Bravetti, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5710 0302-9743 ; . - Lecture Notes in Computer Science, 5710 .
9783642040818
10.1007/978-3-642-04081-8 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Theory of Computation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113