Stock image for illustration purposes only - book cover, edition or condition may vary.
Communicating Sequential Processes
. Ed(S): Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. (Oxford University Computing Laboratory)
€ 68.05
FREE Delivery in Ireland
Description for Communicating Sequential Processes
Paperback. Editor(s): Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. (Oxford University Computing Laboratory). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 340 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ... Read more
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
340
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
326
Place of Publication
Berlin, Germany
ISBN
9783540258131
SKU
V9783540258131
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Communicating Sequential Processes