Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing - Fabio Mogavero - 書籍 - Atlantis Press (Zeger Karssen) - 9789462390560 - 2015年8月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Fabio Mogavero
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing Softcover reprint of the original 1st ed. 2013 edition

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

他の形態でも入手可能：

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

149 pages, 15 Tables, black and white; XVII, 149 p.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年8月9日
ISBN13 9789462390560
出版社 Atlantis Press (Zeger Karssen)
ページ数 149
寸法 155 × 235 × 9 mm   ·   244 g

Fabio Mogaveroのすべてを見る ( 例： Hardcover Book および Paperback Book )