Formal Techniques in Real-Time and Fault-Tolerant Systems
Joseph, Mathai.
Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium,FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / edited by Mathai Joseph. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540453529
Computer science.; Logic design.; Software engineering.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Processor Architectures.; Special Purpose and Application-Based Systems.; Logic Design.
Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium,FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / edited by Mathai Joseph. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540453529
Computer science.; Logic design.; Software engineering.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Processor Architectures.; Special Purpose and Application-Based Systems.; Logic Design.