Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science - Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540549475 - 1991年11月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands)
Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science 1991 edition

価格
¥ 8.461
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月20日 - 年12月2日
クリスマスプレゼントは1月31日まで返品可能です
Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.

242 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1991年11月27日
ISBN13 9783540549475
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 242
寸法 156 × 234 × 13 mm   ·   358 g
言語 英語  

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

Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands)のすべてを見る