Fortæl dine venner om denne vare:
Understanding Concurrent Systems - Texts in Computer Science A.W. Roscoe 2010 edition
Pris
DKK 438
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. okt.
Modtag notifikation om nye A.W. Roscoe udgivelser
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Understanding Concurrent Systems - Texts in Computer Science
A.W. Roscoe
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C. A. R. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these.
530 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 3. december 2012 |
| ISBN13 | 9781447126003 |
| Forlag | Springer London Ltd |
| Antal sider | 530 |
| Mål | 235 × 155 × 31 mm · 808 g |
| Sprog | Engelsk |
![Cover for Michael Strupp · Ocular Motor Disorders and Vertigo: Diagnosis and Management (Paperback Bog) [2023 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbook of Remote Biometrics: For Surveillance and Security - Advances in Computer Vision and Pattern Recognition (Hardcover bog) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9781447173403.jpg?2027-handbook-of-remote-biometrics-for-surveillance-and-security-advances-in-computer-vision-and-pattern-recognition-hardcover-bog&class=scaled&v=1692375324)
![Cover for Sandra Furterer · Lean Six Sigma for the Healthcare Enterprise: Methods, Tools and Applications (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/169/9781447176169.jpg?sandra-furterer-2026-lean-six-sigma-for-the-healthcare-enterprise-methods-tools-and-applications-hardcover-bog&class=scaled&v=1777979326)
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1759173936)
![Cover for Stephen Goundrey-Smith · Information Technology in Pharmacy: An Integrated Approach - Health Informatics (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/121/9781447176121.jpg?stephen-goundrey-smith-2026-information-technology-in-pharmacy-an-integrated-approach-health-informatics-hardcover-bog&class=scaled&v=1778115485)
![Cover for Jon Peddie · The History of Visual Magic in Computers: How it led to AI (Paperback Bog) [Second Edition 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/520/9781447175520.jpg?jon-peddie-2026-the-history-of-visual-magic-in-computers-how-it-led-to-ai-paperback-bog&class=scaled&v=1751968510)
![Cover for M. A. Al-Gwaiz · Sturm–Liouville Theory and its Applications - Springer Undergraduate Mathematics Series (Paperback Bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/091/9781447176091.jpg?m-a-al-gwaiz-2026-sturm-liouville-theory-and-its-applications-springer-undergraduate-mathematics-series-paperback-bog&class=scaled&v=1760968453)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Paperback Bog) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/384/9781447175384.jpg?robert-d-crapnell-2025-the-handbook-of-graphene-electrochemistry-paperback-bog&class=scaled&v=1760728041)
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Paperback Bog) [Seventh Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/490/9781447175490.jpg?john-vince-2025-mathematics-for-computer-graphics-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1735144367)
![Cover for Raul Poler · Operations Research Problems: Statements and Solutions (Hardcover bog) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/452/9781447175452.jpg?raul-poler-2025-operations-research-problems-statements-and-solutions-hardcover-bog&class=scaled&v=1735155141)
![Cover for Nigel Cross · Designerly Ways of Knowing and Thinking (Hardcover bog) [Second Edition 2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/407/9781447175407.jpg?nigel-cross-2024-designerly-ways-of-knowing-and-thinking-hardcover-bog&class=scaled&v=1750950288)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Hardcover bog) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/353/9781447175353.jpg?robert-d-crapnell-2024-the-handbook-of-graphene-electrochemistry-hardcover-bog&class=scaled&v=1758025341)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Paperback Bog) [Second Edition 2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/339/9781447175339.jpg?marco-cantamessa-2024-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-paperback-bog&class=scaled&v=1749948978)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Hardcover bog) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/261/9781447175261.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-hardcover-bog&class=scaled&v=1670069382)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Paperback Bog) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/9781447175292.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-paperback-bog&class=scaled&v=1694243460)
![Cover for Hoang Pham · Springer Handbook of Engineering Statistics - Springer Handbooks (Hardcover bog) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/025/9781447175025.jpg?hoang-pham-2023-springer-handbook-of-engineering-statistics-springer-handbooks-hardcover-bog&class=scaled&v=1694227221)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Hardcover bog) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/308/9781447175308.jpg?marco-cantamessa-2023-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-hardcover-bog&class=scaled&v=1680524706)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Paperback Bog) [Second Edition 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9781447175155.jpg?tomayess-issa-2023-sustainable-design-hci-usability-and-environmental-concerns-paperback-bog&class=scaled&v=1694231226)
![Cover for John Vince · Quaternions for Computer Graphics (Paperback Bog) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/117/9781447175117.jpg?john-vince-2022-quaternions-for-computer-graphics-paperback-bog&class=scaled&v=1694731004)
![Cover for John Vince · Vector Analysis for Computer Graphics (Paperback Bog) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/070/9781447175070.jpg?john-vince-2022-vector-analysis-for-computer-graphics-paperback-bog&class=scaled&v=1654415260)
![Cover for Siegfried Bosch · Algebraic Geometry and Commutative Algebra - Universitext (Paperback Bog) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/223/9781447175223.jpg?siegfried-bosch-2022-algebraic-geometry-and-commutative-algebra-universitext-paperback-bog&class=scaled&v=1694650369)
![Cover for Case-Based Clinical Cardiology (Paperback Bog) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781447174981.jpg?2022-case-based-clinical-cardiology-paperback-bog&class=scaled&v=1749418573)
![Cover for Golshan Latifi · In Vivo Confocal Microscopy in Eye Disease (Paperback Bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/162/9781447175162.jpg?golshan-latifi-2022-in-vivo-confocal-microscopy-in-eye-disease-paperback-bog&class=scaled&v=1749984718)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Hardcover bog) [Second Edition 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/124/9781447175124.jpg?tomayess-issa-2022-sustainable-design-hci-usability-and-environmental-concerns-hardcover-bog&class=scaled&v=1646023933)
![Cover for John Vince · Quaternions for Computer Graphics (Hardcover bog) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/087/9781447175087.jpg?john-vince-2021-quaternions-for-computer-graphics-hardcover-bog&class=scaled&v=1625428011)
![Cover for Bone Tumors: Diagnosis and Therapy Today (Hardcover bog) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/998/9781447174998.jpg?2021-bone-tumors-diagnosis-and-therapy-today-hardcover-bog&class=scaled&v=1615222868)
![Cover for John Vince · Vector Analysis for Computer Graphics (Hardcover bog) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/049/9781447175049.jpg?john-vince-2021-vector-analysis-for-computer-graphics-hardcover-bog&class=scaled&v=1612619013)
![Cover for Case-Based Clinical Cardiology (Hardcover bog) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/950/9781447174950.jpg?2021-case-based-clinical-cardiology-hardcover-bog&class=scaled&v=1609102883)
![Cover for Subhes C. Bhattacharyya · Energy Economics: Concepts, Issues, Markets and Governance (Paperback Bog) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/707/9781447174707.jpg?subhes-c-bhattacharyya-2020-energy-economics-concepts-issues-markets-and-governance-paperback-bog&class=scaled&v=1608767777)
![Cover for Ke-Lin Du · Neural Networks and Statistical Learning (Paperback Bog) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/547/9781447174547.jpg?ke-lin-du-2020-neural-networks-and-statistical-learning-paperback-bog&class=scaled&v=1605482701)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 1: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Paperback Bog) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/462/9781447174462.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-1-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-paperback-bog&class=scaled&v=1694495642)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 2: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Paperback Bog) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/509/9781447174509.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-2-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-paperback-bog&class=scaled&v=1612142376)