Theoretical Aspects of Computing

Name: Theoretical Aspects of Computing
Brand: Springer, Berlin
SKU: 9783642148071
Price: 56.77 EUR
Availability: InStock

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

Автор: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад в ограничено количество

Изпращаме след 9-15 дни

56.77 € 111.03 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

397

EAN

9783642148071

ISBN

3642148077

Enbook ID

01656361

Издател

Springer, Berlin

Теглоt

612

Размери

155 x 237 x 22

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Theoretical Aspects of Computing

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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