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

Name: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Price: 11785 JPY
Availability: OutOfStock
Author: Howard Bowman

価格

¥ 11.785

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月25日 - 年7月13日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

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

Howard Bowman

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.

492 pages, black & white illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2011年7月21日
ISBN13	9780521168755
出版社	Cambridge University Press
ページ数	492
寸法	256 × 178 × 31 mm · 922 g
言語	英語
編集者	Bowman, Howard (University of Kent, Canterbury)
編集者	Derrick, John (University of Kent, Canterbury)