Theoretical Aspects of Computing -- ICTAC 2011

Name: Theoretical Aspects of Computing -- ICTAC 2011
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642232824
Price: 1664 CZK
Availability: InStock

8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

Autor: Antonio Cerone, Pekka Pihlajasaari

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 14-21 dnů

1 664 Kč

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical As...

Informace o knize

Autor

Antonio Cerone, Pekka Pihlajasaari

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2011

Stránek

267

EAN

9783642232824

ISBN

3642232825

Enbook ID

01658637

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

429

Rozměry

155 x 235 x 18

Kompletní popis

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

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Theoretical Aspects of Computing -- ICTAC 2011

8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také