Concurrency, Specification and Programming
Gebundenes Buch

Concurrency, Specification and Programming

Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Herausgegeben: Schlingloff, Bernd-Holger; Vogel, Thomas; Skowron, Andrzej
Versandkostenfrei!
Versandfertig in 6-10 Tagen
119,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
60 °P sammeln!
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. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as wel...