Theoretical Aspects of Computing

Name: Theoretical Aspects of Computing
Brand: Springer, Berlin
SKU: 9783642148071
Price: 21321 HUF
Availability: InStock

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

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

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 9-15 napon belül

21 321 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

397

EAN

9783642148071

ISBN

3642148077

Enbook ID

01656361

Kiadó

Springer, Berlin

Súly

612

Méretek

155 x 237 x 22

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Theoretical Aspects of Computing

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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