Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989 : proceedings


M. Leeser, G. Brown (eds.)
Bok Engelsk 1990

Detaljer

Bibliotek som har denne