Gilles Barthe
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science Gilles Barthe 2008 edition

Name: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science
Price: 8483 JPY
Availability: OutOfStock
Author: Gilles Barthe

価格

¥ 8.483

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月23日 - 年12月3日

クリスマスプレゼントは1月31日まで返品可能です

Gilles Barthe の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science

Gilles Barthe

2008 edition

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;

259 pages, black & white illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2008年5月29日
ISBN13	9783540688624
出版社	Springer-Verlag Berlin and Heidelberg Gm
ジャンル	Aspects (Academic) > Science / Technology Aspects
ページ数	259
寸法	155 × 235 × 14 mm · 408 g
言語	フランス語
編集者	Barthe, Gilles