Computer Aided Verification
Bochmann, Gregor.
Computer Aided Verification Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475729
Computer science.; Software engineering.; Logic design.; Logic, Symbolic and mathematical.; Electronics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Electronics and Microelectronics, Instrumentation.; Mathematical Logic and Foundations.
Computer Aided Verification Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540475729
Computer science.; Software engineering.; Logic design.; Logic, Symbolic and mathematical.; Electronics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Electronics and Microelectronics, Instrumentation.; Mathematical Logic and Foundations.