Trace theory for automatic hierarchical verification of speed-independent circuits | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Trace theory for automatic hierarchical verification of speed-independent circuits

種類:: 図書
責任表示:: David L. Dill
出版情報:: Cambridge, Mass. : MIT Press, c1989
著者名:: Dill, David L. <DA04374523>
シリーズ名:: ACM distinguished dissertations <BA00122894>
ISBN:: 9780262041010 [0262041014]
注記:: Bibliography: p. [153]-159
Includes index

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	Integrated circuits--Very large scale integration; Sequential machine theory; Switching circuits
分類・件名:	LCC : TK7868.S9 DDC : 621.39/5 LCSH : Switching circuits LCSH : Integrated circuits -- Very large scale integration LCSH : Sequential machine theory
LCCN:	89012546
TTLL:	eng
言語:	英語
形態:	163 p. : ill. ; 24 cm
書誌ID:	BA07514837

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Theory & design of switching circuits Friedman, Arthur D., Menon, Premachandran R. Computer Science Press	7 図書 Linear sequential circuits : analysis, synthesis, and applications Gill, Arthur, 1930- McGraw-Hill
2 図書 Sequential machines and automata theory Booth, Taylor L. Wiley	8 図書 Very large scale integration (VLSI) : fundamentals and applications Barbe, D. F. (David F.), 1939- Springer-Verlag
3 図書 Combinatorics on traces Diekert, Volker, 1955- Springer-Verlag	9 図書 Theory of computation Brainerd, Walter S., Landweber, Lawrence H. Wiley
4 図書 Pulse, digital, and switching waveforms : devices and circuits for their generation and processing Millman, Jacob, 1911-, Taub, Herbert, 1918- McGraw-Hill, Kogakusha	10 図書 Introduction to the theory of computation Engeler, Erwin, 1930- Academic Press
5 図書 Pulse, digital, and switching waveforms : devices and circuits for their generation and processing Millman, Jacob, 1911-, Taub, Herbert, 1918- McGraw-Hill	11 図書 Applied automata theory Tou, Julius T., 1926-, Ohio State University. Dept. of Electrical Engineering Academic Press
6 図書 Introduction to switching theory and logical design Hill, Fredrick J., Peterson, Gerald R. Wiley	12 図書 Switching and finite automata theory Kohavi, Zvi Tata McGraw-Hill Pub. Co.