An Introduction to Practical Formal Methods Using Temporal Logic - Fisher, Michael (University of Liverpool, UK) - 書籍 - John Wiley & Sons Inc - 9780470027882 - 2011年5月2日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Fisher, Michael (University of Liverpool, UK)
An Introduction to Practical Formal Methods Using Temporal Logic

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
クリスマスプレゼントは1月31日まで返品可能です
Fisher, Michael (University of Liverpool, UK) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.

360 pages, Illustrations

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2011年5月2日
ISBN13 9780470027882
出版社 John Wiley & Sons Inc
ページ数 360
寸法 174 × 250 × 24 mm   ·   788 g

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

Fisher, Michael (University of Liverpool, UK)のすべてを見る