Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands - IFIP Advances in Informati - Bart Jacobs - 書籍 - Springer - 9780792376835 - 2002年3月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bart Jacobs
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands - IFIP Advances in Informati 2002 edition

価格
¥ 17.045
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月26日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods;

290 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2002年3月31日
ISBN13 9780792376835
出版社 Springer
ページ数 284
寸法 155 × 235 × 15 mm   ·   625 g
言語 英語  
編集者 Jacobs, Bart
編集者 Rensink, Arend

Bart Jacobsの他の作品を見る

すべて表示

Bart Jacobsのすべてを見る ( 例： Hardcover Book , Paperback Book および CD )