close
1.

図書
図書
1. Proceedings, Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, April 7-10, 1997, Eindhoven, The Netherlands (microfiche)
sponsored by Eindhoven University of Technology ; in cooperation with IEEE Computer Society, Philips Reserch Laboratories,Eindhoven, Esprit Working Group 21949 (ACid-WG)
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xii, 303 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings, Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan (microfiche)
sponsored by IEEE Computer Society Technical Committee on VLSI, IEICE Technical Group on VLSI Design, Telecommunications Advancement Foundation ; in cooperation with IFIP WG 10.5, University of Aizu
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1996  x, 263 p. ; 29 cm
所蔵情報: loading…
3.

図書
図書
3. Formal methods in circuit design
V. Stavridou
出版情報: Cambridge : Cambridge University Press, 1993  xiii, 193 p. ; 26 cm
シリーズ名: Cambridge tracts in theoretical computer science ; 37
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Requirements / 2：
Case studies / 3：
The term rewriting approach / 4：
OBJ3 as a hardware specification language / 5：
Theorem proving with OBJ3 / 6：
OBJ3 case studies / 7：
Conclusions / 8：
Appendix
Bibliography
Index
Introduction / 1：
Requirements / 2：
Case studies / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼