Fred Kroeger
Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series Fred Kroeger Softcover reprint of hardcover 1st ed. 2008 edition

Name: Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series
Price: 12506 JPY
Availability: OutOfStock
Author: Fred Kroeger

価格

¥ 12.506

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月5日 - 年10月15日

Fred Kroeger の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Hardcover Book

2008 edition

(2008) ¥ 12.506

Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series

Fred Kroeger

Softcover reprint of hardcover 1st ed. 2008 edition

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;

448 pages, black & white illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2010年11月25日
ISBN13	9783642086809
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	436
寸法	155 × 235 × 23 mm · 621 g
言語	英語