Leeser, Miriam. <br/><br/>
Hardware Specification, Verification and Synthesis: Mathematical Aspects  Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5-7, 1989 Proceedings / 
edited by Miriam Leeser, Geoffrey Brown. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9780387348018 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Microprogramming.; Logic design.; Algebra.; Electronics.; Computer Science.; Control Structures and Microprogramming.; Arithmetic and Logic Structures.; Logic Design.; Electronics and Microelectronics, Instrumentation.; Computation by Abstract Devices.; Algebra.