Concurrency, specification and programming revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
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 learn...
| Corporate Authors: | International Workshop Concurrency, Specification, and Programming Berlin, Germany) |
|---|---|
| Other Authors: | International Workshop Concurrency, Specification, and Programming, Schlingloff, Bernd-Holger., Vogel, Thomas., Skowron, Andrzej., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2023.
Cham, Switzerland : 2023. |
| Physical Description: |
1 online resource. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |