Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Mathematics of Program Construction Tarmo Uustalu

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Autor: Tarmo Uustalu
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.13 €
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of...

Informácie o knihe

Autor
Tarmo Uustalu
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2006
Stránok
458
EAN
9783540356318
ISBN
3540356312
Enbook ID
01562278
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
1440
Rozmery
155 x 235 x 29

Kompletný popis

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

Mohlo by vás zaujímať

Prisma Fusion A1 + A2

Club Prisma Team
22.06 €

Democracy in Europe

Vivien A. Schmidt
103.66 €

What the Doctor Needs to Know in Order to Make a Successful Prescription

J. T. Kent
2.34 €

New Breakthrough Prayers

Reverend Peter O. Adenmosun
10.98 €

Introduction to Quantitative Methods for Historians

Roderick Floud
67.67 €

Guinea-Pig Party

Holly Webb
5.29 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Puzzle panoramiczne 1000 Galaxy 2

9.11 €

Život bez peněz

Mark Sundeen
9.86 €

Písanka 2 pro 3. ročník základní školy

Jitka Halasová
1.48 €

Tableau Seculaire de la Societe d'Agriculture de Tours, 1761-1861

CHEVALIER-C
11.76 €

Rychlé keto pokrmy za 30 minut nebo ještě míň

Martina Slajerova
13.26 €

L'étranger/e et son avocat/e

gisti
7.64 €