Fontet, M.

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.