Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series - Fred Kroeger - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540674016 - 2008年3月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Fred Kroeger
Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series 2008 edition

価格
¥ 12.479
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月26日 - 年11月5日
Fred Kroeger の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

452 pages, 1, black & white illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2008年3月27日
ISBN13 9783540674016
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 436
寸法 155 × 235 × 25 mm   ·   884 g
言語 ドイツ語  

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

Fred Kroegerのすべてを見る