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.499
Bestillingsvarer
Forventes levert 17. - 25. nov
Julegaver kan byttes frem til 31. januar
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 Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 5. mai 2023 |
| ISBN13 | 9783031266508 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 231 |
| Mål | 150 × 220 × 20 mm · 517 g |
| Språk | Tysk |
| Redaktør | Schlingloff, Bernd-Holger |
| Redaktør | Skowron, Andrzej |
| Redaktør | Vogel, Thomas |
![Cover for Marco Ferrante · An excursion into Markov chains - UNITEXT (Pocketbok) [1st ed. 2024 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Food and Mental Health: The Link between Diet and Neurological disorders: A Curated Literature Overview (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/091/9783031469091.jpg?2027-food-and-mental-health-the-link-between-diet-and-neurological-disorders-a-curated-literature-overview-innbunden-bok&class=scaled&v=1788186815)
![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 Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2027-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-innbunden-bok&class=scaled&v=1774494645)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2027-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] (2027)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2027-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
![Cover for Deprived Caste Across Major Religions in India: Demography and Socio-Economic Wellbeing (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783031765025.jpg?2027-deprived-caste-across-major-religions-in-india-demography-and-socio-economic-wellbeing-innbunden-bok&class=scaled&v=1790617067)