Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 1992年12月14日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Ron Koymans
Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science 1992 edition

価格
¥ 8.885
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月5日 - 年8月17日
Ron Koymans の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

174 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1992年12月14日
ISBN13 9783540562832
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 174
寸法 155 × 233 × 9 mm   ·   267 g
言語 英語  

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

Ron Koymansのすべてを見る ( 例： Paperback Book )