Carte Recent Trends in Algebraic Development Techniques Martin Wirsing

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.90 lei
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2003
Pagini
464
EAN
9783540205371
ISBN
3540205373
Enbook ID
01558808
Greutate
658
Dimensiuni
155 x 235 x 24

Descriere completă

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.§The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

S-ar putea să te intereseze

Dear Girl,

Jessica B Dillard
55.31 lei

Shadow of Paradise

Vicente Aleixandre
194.02 lei
351.91 lei

More, Now, Again

Elizabeth Wurtzel
96.70 lei
552.30 lei
209.77 lei

Absolute Surrender

Andrew Murray
45.62 lei
2 313.31 lei

Clienții care au cumpărat această carte au mai cumpărat și

Lautlose Kinder

. . . . . Afra
41.78 lei