Theoretical Aspects of Computing

Name: Theoretical Aspects of Computing
Brand: Springer, Berlin
SKU: 9783642148071
Price: 1314 CZK
Availability: InStock

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Autor: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 14-21 dnů

1 314 Kč

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

Informace o knize

Autor

Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2010

Stránek

397

EAN

9783642148071

ISBN

3642148077

Enbook ID

01656361

Vydavatel

Springer, Berlin

Hmotnost

612

Rozměry

155 x 237 x 22

Kompletní popis

This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all 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

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Deck Book: Inspirational Design Ideas

Hannibal of Carthage

The Orations of Lysias

Remarks on the History of England. From the Minutes of Humphry Oldcastle, Esq;

The Discovery of the Amazon: According to the Account of Friar Gaspar de Carvajal and Other Documents

28 SAT Math Lessons to Improve Your Score in One Month - Advanced Course: For Students Currently Scoring Above 600 in SAT Math and Want to Score 800

Olde Irving Park

Mathematics for Computer Science

He Has Shown You What Is Good: Old Testament Justice Here and Now

Preacher's Commentary - Vol. 06: Joshua

Come into My Heart, Lord Jesus

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

Deplorevoli? L'America di Trump e i movimenti sovranisti in Europa

Patyczki do liczenia 100 sztuk

La bruja Leopoldina y otras historias reales

Reglement Sur Le Service Des Frais de Deplacement Aux Militaires Isoles.

Eugen Duhring ALS Religionsphilosoph

Se libérer de l’alcool en clair

Вся высшая математика: Теория рядов, обыкновенные дифференциальные уравнения, теория устойчивости / Т.3. Изд.стереотип.

Der große Gatsby