Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - 2006年6月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence 2006 edition

価格
₪ 517
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

他の形態でも入手可能：

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems.

257 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2006年6月26日
ISBN13 9783540328698
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 257
寸法 210 × 297 × 17 mm   ·   585 g
言語 英語  
すべて表示

Wojciech Penczekの他の作品を見る

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