Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing - Yoeli, Michael (Technion (Israel)) - 書籍 - John Wiley & Sons Inc - 9780471704492 - 2008年3月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Yoeli, Michael (Technion (Israel))
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing

価格
¥ 23.247
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月5日 - 年11月23日
クリスマスプレゼントは1月31日まで返品可能です
Yoeli, Michael (Technion (Israel)) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.

232 pages, Illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2008年3月7日
ISBN13 9780471704492
出版社 John Wiley & Sons Inc
ページ数 248
寸法 163 × 243 × 22 mm   ·   544 g
言語 英語  
シリーズ編集者 Zomaya, Albert Y. (University of Western Australia)

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

Yoeli, Michael (Technion (Israel))のすべてを見る