Robert Kurshan
Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Robert Kurshan Reprinted from Formal Methods in System Design, 1: edition

Name: Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification
Price: 28493 JPY
Availability: OutOfStock
Author: Robert Kurshan

価格

¥ 28.493

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月29日 - 年10月15日

Robert Kurshan の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Paperback Book

Softcover Reprint of the Original 1st Ed. 1993 edition

(2012) ¥ 24.483

Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification

Robert Kurshan

Reprinted from Formal Methods in System Design, 1: edition

A collection of papers that begins with a general survey of hardware verification methods. It starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing upon various advances. It presents a generic format for graphical presentations of coordinating systems represented by automata.

142 pages, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	1992年12月31日
ISBN13	9780792392859
出版社	Kluwer Academic Publishers
ページ数	142
寸法	156 × 234 × 9 mm · 390 g
編集者	Kurshan, Robert