Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Formal Methods and Software Engineering Chris George

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Autor: Chris George, Huaikou Miao
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
99.88 €
This book constitutes the refereed proceedings of the 4th International Conference on Formal Enginee...

Informácie o knihe

Autor
Chris George, Huaikou Miao
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2002
Stránok
636
EAN
9783540000297
ISBN
3540000291
Enbook ID
01555926
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
1960
Rozmery
155 x 235 x 35

Kompletný popis

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.§The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

Mohlo by vás zaujímať

Lucid Dreaming

Paul Devereux
17.85 €

Women in American Musical Theatre

Bud Coleman
38.36 €

Step Dancing in Ireland

FOLEY
78.39 €

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

Geschichte Der Gewerbe

C. G. Rehlen
24.82 €

L'Òscar i el drac afamat

Krause
16.47 €

Spektrum Psychologie - Kann die Persönlichkeit krank machen?

Spektrum der Wissenschaft
7.64 €