Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science - Burkart, O. (University of Dortmund, Germany) - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540639824 - 1997年12月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Burkart, O. (University of Dortmund, Germany)
Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science

価格
¥ 8.681
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日
Burkart, O. (University of Dortmund, Germany) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

176 pages, 1 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1997年12月17日
ISBN13 9783540639824
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 166
寸法 155 × 235 × 10 mm   ·   258 g
言語 ドイツ語  

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

Burkart, O. (University of Dortmund, Germany)のすべてを見る