00000cmm a22000004a 4500 UP-99796217611173283 Buklod 20241016074744.0 m go j cr |n |||auu|a 241016s2011 gw go j eng 9783642232831 (eBook) 3642232833 (eBook) (iLib)UPD-00214606658 DMLR rda eng DMLUC QA 75.5 I28 2011eb ICTAC (Colloquium) Johannesburg, South Africa) 2011 (8th Theoretical aspects of computing--ICTAC 2011 8th international colloquium, Johannesburg, South Africa, August 31-September 2, 2011 : proceedings Antonio Cerone, Pekka Pihlajasaari (eds.) [electronic resource]. Berlin, Heidelberg Springer Berlin Heidelberg [©2011] 1 online resource (x, 266 pages) text rdacontent computer rdamedia online resource cr rdacarrier Lecture Notes in Computer Science 6916 0302-9743 IP-based subscription, access limited to within on campus computer network. Access via Electronic Resources of the UPD University Library Website. Thiis book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Computer science Congresses. Electronic books. Cerone, Antonio editor. Pihlajasaari, Pekka editor. SpringerLink (Online service). Electronic Resource Available for University of the Philippines Diliman via SpringerLink. Click here to access https://link.springer.com/book/10.1007/978-3-642-23283-1 FO Monograph UPD DMLR Electronic Resource