Enjalbert, Patrice. <br/><br/>
STACS 94  11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings / 
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540483328 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Operating systems (Computers).; Computer software.; Logic design.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Techniques.; Operating Systems.