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 - - Books - Springer International Publishing AG - 9783031266508 - May 5, 2023
In case cover and title do not match, the title is correct

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

Price
HK$ 1,307
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 5, 2023
ISBN13 9783031266508
Publishers Springer International Publishing AG
Pages 231
Dimensions 150 × 220 × 20 mm   ·   517 g
Language German  
Editor Schlingloff, Bernd-Holger
Editor Skowron, Andrzej
Editor Vogel, Thomas

Mere med samme udgiver