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

Fabio Mogavero
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing 2013 edition

価格
HK$ 430
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは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.

168 pages, 13 black & white illustrations, 15 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2013年8月12日
ISBN13 9789491216947
出版社 Atlantis Press (Zeger Karssen)
ページ数 149
寸法 163 × 241 × 15 mm   ·   376 g

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