Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Häftad, Engelska, 2011
739 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2011-08-12
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieTheoretical Computer Science and General Issues
- Antal sidor267
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642232824
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 1
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas, Jose N. Oliveira, Jose Campos
739 kr
Del 13230