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
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.
Search for related items by subject
| Subject: | Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |