Birkedal, Lars. <br/><br/>
Foundations of Software Science and Computational Structures  15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / 
edited by Lars Birkedal. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642287299 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Artificial Intelligence (incl. Robotics).