Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

著者

書誌事項

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

（VLSI Design methods, v. 1）

North-Holland , Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990

大学図書館所蔵 件 / 全10件

この図書・雑誌をさがす

注記

Includes bibliographical references

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

  • VLSI Design methods

    North-Holland , Distributed in the U.S. and Canada, Elsevier Science Pub. Co. 1990

詳細情報

ページトップへ