Hardware Specification, Verification and Synthesis: Mathematical Aspects
Leeser, Miriam.
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
9780387348018
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.
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
9780387348018
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.