Hardware specification, verification and synthesis: mathematical aspects
Mathematical Sciences Institut workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989 : proceedings
Gespeichert in:
Verfasser / Beitragende:
M. Leeser ... (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
1990
Beschreibung:
402 p. ; 25 cm
Format:
Buch (Kongress)