Formal Techniques in Real-Time and Fault-Tolerant Systems
Damm, Werner.
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9-12, 2002 Proceedings / edited by Werner Damm, Ernst -Rüdiger Olderog. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540457398
Computer science.; Microprogramming.; Memory management (Computer science).; Software engineering.; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Processor Architectures.; Special Purpose and Application-Based Systems.; Memory Structures.; Control Structures and Microprogramming.
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9-12, 2002 Proceedings / edited by Werner Damm, Ernst -Rüdiger Olderog. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540457398
Computer science.; Microprogramming.; Memory management (Computer science).; Software engineering.; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Processor Architectures.; Special Purpose and Application-Based Systems.; Memory Structures.; Control Structures and Microprogramming.