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

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

価格
¥ 16.546
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2020年7月28日
ISBN13 9789811550539
出版社 Springer Verlag, Singapore
ページ数 346
寸法 150 × 220 × 20 mm   ·   680 g
編集者 Ait-Ameur, Yamine
編集者 Mery, Dominique
編集者 Nakajima, Shin

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