Börger, Egon. <br/><br/>
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 
<br/><br/><label>ISBN: </label>9783540364986 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.