Theoretical Aspects of Computing - ICTAC 2011
Cerone, Antonio.
Theoretical Aspects of Computing - ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642232831
Computer science.; Software engineering.; Computer software.; Logic design.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Algorithm Analysis and Problem Complexity.
Theoretical Aspects of Computing - ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642232831
Computer science.; Software engineering.; Computer software.; Logic design.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Algorithm Analysis and Problem Complexity.