Gå direkt till innehållet
Concurrency, Specification and Programming
Spara

Concurrency, Specification and Programming

Lägsta pris på PriceRunner

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.

Undertitel
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Upplaga
2023 ed.
ISBN
9783031266539
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2024-05-06
Sidor
231