Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
427.08 zł
This book constitutes the refereed proceedings of the 4th International Conference on Formal Enginee...

Informacje o książce

Autor
Chris George, Huaikou Miao
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2002
strony
636
EAN
9783540000297
ISBN
3540000291
Enbook ID
01555926
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
1960
Wymiary
155 x 235 x 35

Pełny opis

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.

Możesz być zainteresowany

Lucid Dreaming

Paul Devereux
80.20 zł

Women in American Musical Theatre

Bud Coleman
171.02 zł

Step Dancing in Ireland

FOLEY
350.60 zł

Klienci, którzy kupili tę książkę, kupili również

Geschichte Der Gewerbe

C. G. Rehlen
111.53 zł

L'Òscar i el drac afamat

Krause
70.39 zł

Spektrum Psychologie - Kann die Persönlichkeit krank machen?

Spektrum der Wissenschaft
32.59 zł