عنوان

Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

91703

آخر۲۷

English

)20(

Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

Berlin; New York

Springer-Verlag

1990

vi, 402 p.: ill.; 25 cm

Lecture notes in computer science

408

Includes bibliographical references

Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing

Congresses ، Integrated circuits-- Verification

7874

C685

1989

M. Leeser, G. Brown, eds.; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 9891 proceedings

AU (mairiM).M ,reseeL 1958-

AU (yerffoeG).G ,nworB 1960-

CO Cornell University. Mathematical Sciences Institute

Cornell University. Mathematical Sciences Institute. Workshop )1989(