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 - 9783031266539 - May 6, 2024
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,320
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8

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     Paperback Book   (Book with soft cover and glued back)
Released May 6, 2024
ISBN13 9783031266539
Publishers Springer International Publishing AG
Pages 231
Dimensions 150 × 220 × 10 mm   ·   376 g
Language German  
Editor Schlingloff, Bernd-Holger
Editor Skowron, Andrzej
Editor Vogel, Thomas

Mere med samme udgiver