Concurrency, Specification and Programming
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Inbunden
2 229 kr
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 229 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
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden
659 kr
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Häftad
509 kr
Del 67
Zur Aktualität der Kritischen Theorie für die Pädagogik
Karl-Heinz Dammer, Thomas Vogel, Helmut Wehr
Häftad
809 kr