Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Häftad, Engelska, 2024
2 669 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2024-05-06
- Mått155 x 235 x 14 mm
- Vikt376 g
- FormatHäftad
- SpråkEngelska
- SerieStudies in Computational Intelligence
- Antal sidor231
- FörlagSpringer International Publishing AG
- ISBN9783031266539