Nori, Kesav V.

Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India December 17-19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540463139


Computer science.; Software engineering.; Computer software.; Logic design.; Combinatorics.; Computer Science.; Software Engineering.; Programming Techniques.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Combinatorics.