Correct Hardware Design and Verification Methods
Margaria, Tiziana.
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540447986
Computer science.; Computer hardware.; Software engineering.; Logic design.; Artificial intelligence.; Computer aided design.; Computer Science.; Computer Hardware.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence (incl. Robotics).; Computer-Aided Engineering (CAD, CAE) and Design.; Mathematical Logic and Formal Languages.
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540447986
Computer science.; Computer hardware.; Software engineering.; Logic design.; Artificial intelligence.; Computer aided design.; Computer Science.; Computer Hardware.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence (incl. Robotics).; Computer-Aided Engineering (CAD, CAE) and Design.; Mathematical Logic and Formal Languages.