Abdallah, Ali E.
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / [electronic resource] : edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3525 0302-9743 ; . - Lecture Notes in Computer Science, 3525 .
9783540322658
10.1007/b136154 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / [electronic resource] : edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3525 0302-9743 ; . - Lecture Notes in Computer Science, 3525 .
9783540322658
10.1007/b136154 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113