International Conference on Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

Name: Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform
Price: 37333 JPY
Availability: OutOfStock
Author: International Conference on Formal Methods for Open Object-based Distributed Systems

価格

¥ 37.333

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月27日 - 年11月12日

International Conference on Formal Methods for Open Object-based Distributed Systems の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

International Conference on Formal Methods for Open Object-based Distributed Systems

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.

429 pages, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2000年8月31日
ISBN13	9780792379232
出版社	Kluwer Academic Publishers
ページ数	429
寸法	156 × 234 × 23 mm · 775 g
編集者	Smith, Scott F.
編集者	Talcott, Carolyn L.