Verification of digital and hybrid systems

著者

書誌事項

Verification of digital and hybrid systems

edited by M. Kemal Inan, Robert P. Kurshan

(NATO ASI series, Series F . Computer and systems sciences ; no. 170)

Springer, c2000

大学図書館所蔵 件 / 10

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ