Temporal Verification of Reactive Systems: Safety - Zohar Manna - 書籍 - Springer-Verlag New York Inc. - 9781461287018 - 2012年8月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Zohar Manna
Temporal Verification of Reactive Systems: Safety

価格
¥ 18.132
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月5日 - 年10月15日
Zohar Manna の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

512 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年8月22日
ISBN13 9781461287018
出版社 Springer-Verlag New York Inc.
ページ数 512
寸法 155 × 235 × 27 mm   ·   743 g
言語 英語  

Zohar Mannaの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Zohar Mannaのすべてを見る