Catalog

Record Details

Catalog Search


Search Results Showing Item 3 of 7

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

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

Electronic resources

Record details

  • ISBN: 9783540322658
  • Physical Description: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 3 of 7

Additional Resources