Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science - - 書籍 - Springer Nature Switzerland AG - 9783030775421 - 2021年5月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

価格
¥ 10.317
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

まだ評価がありません

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

167 pages, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2021年5月23日
ISBN13 9783030775421
出版社 Springer Nature Switzerland AG
ページ数 167
寸法 150 × 220 × 10 mm   ·   454 g
言語 ドイツ語  
編集者 Mery, Dominique
編集者 Raschke, Alexander

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