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 - 9783031266539 - 2024. gada 6. 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

Cena
€ 162,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 4. - 12. aug.
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     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2024. gada 6. maijs
ISBN13 9783031266539
Izdevēji Springer International Publishing AG
Lapas 231
Izmēri 150 × 220 × 10 mm   ·   376 g
Valoda Vācu  
Redaktors Schlingloff, Bernd-Holger
Redaktors Skowron, Andrzej
Redaktors Vogel, Thomas

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