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 - - 書籍 - Springer International Publishing AG - 9783031266539 - 2024年5月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2024年5月6日
ISBN13 9783031266539
出版社 Springer International Publishing AG
ページ数 231
寸法 150 × 220 × 10 mm   ·   376 g
言語 ドイツ語  
編集者 Schlingloff, Bernd-Holger
編集者 Skowron, Andrzej
編集者 Vogel, Thomas

同じ出版社からのその他の記事