株式会社極東書店トップ ＞ 商品一覧 ＞ 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. Softcover reprint of the original 1st ed. 2000
商品詳細
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. Softcover reprint of the original 1st ed. 2000
・ISBN 978-1-4757-1018-2 paper EUR 199.99
￥53,456.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Smith, Scott F. / Talcott, Carolyn L. (eds.), |
|---|---|
| シリーズ | (IFIP Advances in Information and Communication Technology) |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2012 |
| ページ数 | 422 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-79939＞ |
解説
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Papers in this volume focus on the following specific technologies:
Papers in this volume focus on the following specific technologies:
- components;
- mobile code;
- Java (R);
- The Unified Modeling Language (UML);
- refinement of specifications;
- types and subtyping;
- temporal and probabilistic systems.