Owe, Olaf. <br/><br/>
From Object-Orientation to Formal Methods  Essays in Memory of Ole-Johan Dahl / 
edited by Olaf Owe, Stein Krogdahl, Tom Lyche. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540399933 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.