Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (1st ed. 2023)

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. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Studies in Computational Intelligence, 1091
Release date:	May 2023
First published:	2023
Editors:	Holger Schlingloff • Thomas Vogel • Andrzej Skowron
Dimensions:	235 x 155mm (L x W)
Pages:	231
Edition:	1st ed. 2023
ISBN-13:	978-3-03-126650-8
Categories:	Books
LSN:	3-03-126650-1
Barcode:	9783031266508

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!