TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions - Lecture Notes in Computer Science - - 書籍 - Springer International Publishing AG - 9783031676949 - 2024年11月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions - Lecture Notes in Computer Science 2024 edition

価格
¥ 9.292
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月28日 - 年11月9日

お客様の声：

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

まだ評価がありません

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2024年11月1日
ISBN13 9783031676949
出版社 Springer International Publishing AG
ページ数 172
寸法 150 × 220 × 10 mm   ·   289 g
言語 ドイツ語  
編集者 Beyer, Dirk, Ph. D.
編集者 Hartmanns, Arnd
編集者 Kordon, Fabrice

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