Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence -  - Grāmatas - Springer International Publishing AG - 9783031266508 - 2023. gada 5. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Studies in Computational Intelligence 2023 edition


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.


231 pages, 37 Illustrations, color; 29 Illustrations, black and white; XII, 231 p. 66 illus., 37 ill

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2023. gada 5. maijs
ISBN13 9783031266508
Izdevēji Springer International Publishing AG
Lapas 231
Izmēri 150 × 220 × 20 mm   ·   517 g
Valoda Vācu  
Redaktors Schlingloff, Bernd-Holger
Redaktors Skowron, Andrzej
Redaktors Vogel, Thomas

Vairāk no tā paša izdevēja