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 - 9783642069420 - 2010年11月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence 1st Ed. Softcover of Orig. Ed. 2006 edition

価格
R 2.732
税抜

遠隔倉庫からの取り寄せ

発送予定日 年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. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

257 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年11月25日
ISBN13 9783642069420
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 257
寸法 156 × 234 × 15 mm   ·   412 g
言語 英語  
すべて表示

Wojciech Penczekの他の作品を見る

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