Catalog

Record Details

Catalog Search



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  Cover Image E-book E-book

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.

Abdallah, Ali E. (editor.). Jones, Cliff B. (editor.). Sanders, Jeff W. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540322658
  • Physical Description: XIV, 321 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.

Electronic resources



Additional Resources