Hardware specification, verification and synthesis: mathematical aspects

Mathematical Sciences Institut workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989 : proceedings

Verfasser / Beitragende:
M. Leeser ... (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 1990
Beschreibung:
402 p. ; 25 cm
Format:
Buch (Kongress)
ID: 224378643