Fortell venner om denne varen:
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence 2023 edition
Pris
NOK 1.569
Bestillingsvarer
Forventes levert 6. - 14. okt
Legg til iMusic ønskeliste
eller
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation.
231 pages, 37 Illustrations, color; 29 Illustrations, black and white; XII, 231 p. 66 illus., 37 ill
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 6. mai 2024 |
| ISBN13 | 9783031266539 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 231 |
| Mål | 150 × 220 × 10 mm · 376 g |
| Språk | Tysk |
| Redaktør | Schlingloff, Bernd-Holger |
| Redaktør | Skowron, Andrzej |
| Redaktør | Vogel, Thomas |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Innbunden bok) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Interventional Oncology: A Multidisciplinary Approach to Image-Guided Cancer Therapy (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/612/9783031497612.jpg?2027-interventional-oncology-a-multidisciplinary-approach-to-image-guided-cancer-therapy-innbunden-bok&class=scaled&v=1788188382)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-innbunden-bok&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2026-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
![Cover for Regional Metallogenic Analysis, Resources Targeting and Assessment - Modern Approaches in Solid Earth Sciences (Innbunden bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/860/9783031575860.jpg?2026-regional-metallogenic-analysis-resources-targeting-and-assessment-modern-approaches-in-solid-earth-sciences-innbunden-bok&class=scaled&v=1788186814)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-innbunden-bok&class=scaled&v=1774452309)
