Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - 書籍 - Cambridge University Press - 9780521771849 - 2001年10月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

価格
¥ 30.769
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月12日 - 年6月30日

お客様の声：

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

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

490 pages, illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2001年10月22日
ISBN13 9780521771849
出版社 Cambridge University Press
ページ数 492
寸法 178 × 254 × 27 mm   ·   1,02 kg
言語 英語  
編集者 Bowman, Howard (University of Kent, Canterbury)
編集者 Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver