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 -  - Knihy - Springer International Publishing AG - 9783031266539 - 06. mája 2024
V prípade, že obal a názov nesedia, platí názov

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
€ 159,99

Objednané zo vzdialeného skladu

Očakávané doručenie 24. nov - 2. dec
Vianočné darčeky je možné vrátiť do 31. januára
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 06. mája 2024
ISBN13 9783031266539
Vydavatelia Springer International Publishing AG
Strany 231
Rozmery 150 × 220 × 10 mm   ·   376 g
Jazyk Nemčina  
Editor Schlingloff, Bernd-Holger
Editor Skowron, Andrzej
Editor Vogel, Thomas

Viac od toho istého vydavateľa