Formal Methods in Computer-Aided Design
Hunt, Warren A.
Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540409229
Computer science.; Computer hardware.; Logic design.; Artificial intelligence.; Computer Science.; Computer Hardware.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Systems and Information Theory in Engineering.
Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540409229
Computer science.; Computer hardware.; Logic design.; Artificial intelligence.; Computer Science.; Computer Hardware.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Systems and Information Theory in Engineering.