ENGLISH

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

By Jayadev Misra (auth.) , Antonio Cerone , Pekka Pihlajasaari (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
ISBN
9783642232824, 3642232825
DOI
10.1007/978-3-642-23283-1
Language
english
Format
PDF
Filesize
4 MB (3923481 bytes)
Series
Lecture Notes in Computer Science 6916
Edition
1
Pages
267\277
Time added
2013-04-24 17:00:00
Computation by Abstract Devices; Logics and Meanin

Description

This 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.

Similar books