Eric Y.T. Juan
Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science Eric Y.T. Juan 2002 edition

Name: Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science
Price: 19500 JPY
Availability: OutOfStock
Author: Eric Y.T. Juan

価格

¥ 19.500

税抜

遠隔倉庫からの取り寄せ

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

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

Eric Y.T. Juan の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

他の形態でも入手可能：

Paperback Book

Softcover reprint of the original 1st ed. 2002 edition

(2012) ¥ 16.351

Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science

Eric Y.T. Juan

2002 edition

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

196 pages, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2002年4月30日
ISBN13	9781402070259
出版社	Springer-Verlag New York Inc.
ページ数	196
寸法	155 × 235 × 14 mm · 494 g
言語	英語