Main, M. <br/><br/>
Mathematical Foundations of Programming Semantics  5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings / 
edited by M. Main, A. Melton, M. Mislove, D. Schmidt. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9780387348087 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer software.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Programming Techniques.