STACS 84 Symposium of Theoretical Aspects of Computer Science Paris, 11-13, 1984 /
edited by M. Fontet, K. Mehlhorn.
- On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540388050
Computer science.; Computer software.; Logic design.; Computer Science.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.