Theoretical Aspects of Computing -- ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Paperback)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 6916
Release date:	August 2011
First published:	2011
Editors:	Antonio Cerone • Pekka Pihlajasaari
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	267
ISBN-13:	978-3-642-23282-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General
LSN:	3-642-23282-5
Barcode:	9783642232824

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!