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

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

Saved in:
Bibliografiske detaljer
Corporate Authors: Cornell University. Mathematical Sciences Institute. Workshop, Cornell University. Mathematical Sciences Institute
Andre forfattere: Leeser, M. (Miriam), 1958-, Brown, G. (Geoffrey), 1960-
Format: Bog
Sprog:English
Udgivet: Berlin ; New York : Springer-Verlag, 1990.
Serier:Lecture notes in computer science ; 408.
Fag:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Integrated circuits > Verification > Congresses.
Beskrivelse
Fysisk beskrivelse:vi, 402 p. : ill. ; 25 cm.
Bibliografi:Includes bibliographical notes.
ISBN:0387972269

Lignende værker