Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology - International Conference on Formal Methods for Open Object-based Distributed Systems - 書籍 - Kluwer Academic Publishers - 9780792384298 - 1999年2月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

International Conference on Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology

価格
¥ 33.626
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月7日 - 年8月19日
International Conference on Formal Methods for Open Object-based Distributed Systems の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.

448 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1999年2月28日
ISBN13 9780792384298
出版社 Kluwer Academic Publishers
ページ数 448
寸法 156 × 234 × 25 mm   ·   861 g
言語 英語  
編集者 Ciancarini, Paolo
編集者 Fantechi, Alessandro
編集者 Gorrieri, Roberto

International Conference on Formal Methods for Open Object-based Distributed Systemsの他の作品を見る

すべて表示

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

International Conference on Formal Methods for Open Object-based Distributed Systemsのすべてを見る ( 例： Hardcover Book )