株式会社極東書店トップ ＞ 商品一覧 ＞ Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany. 2023 ed.
商品詳細
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany. 2023 ed.
・ISBN 978-3-031-26650-8 hard EUR 159.99
￥42,764.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Schlingloff, Bernd-Holger / Vogel, Thomas / Skowron, Andrzej (eds.), |
|---|---|
| シリーズ | (Studies in Computational Intelligence) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2023 |
| ページ数 | 231 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A02-96006＞ |
解説
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.