Abstract State Machines 2003
Börger, Egon.
Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3-7, 2003 Proceedings / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540364986
Computer science.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Computer Science, general.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.
Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3-7, 2003 Proceedings / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540364986
Computer science.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Computer Science, general.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.