Tommaso Bolognesi
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve Tommaso Bolognesi Softcover Reprint of the Original 1st Ed. 2000 edition

Name: Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve
Price: 32240 JPY
Availability: OutOfStock
Author: Tommaso Bolognesi

価格

¥ 32.240

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月7日 - 年10月19日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve

Tommaso Bolognesi

Softcover Reprint of the Original 1st Ed. 2000 edition

423 pages, 3 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2013年2月28日
ISBN13	9781475752649
出版社	Springer-Verlag New York Inc.
ページ数	423
寸法	155 × 235 × 22 mm · 594 g
言語	英語
編集者	Bolognesi, Tommaso
編集者	Latella, Diego