Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - 書籍 - Springer Verlag, Singapore - 9789811550560 - 2021年7月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings 2021 edition

価格
¥ 16.624
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月16日 - 年10月28日

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2021年7月29日
ISBN13 9789811550560
出版社 Springer Verlag, Singapore
ページ数 346
寸法 150 × 220 × 10 mm   ·   503 g
編集者 Ait-Ameur, Yamine
編集者 Mery, Dominique
編集者 Nakajima, Shin

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