Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555926
Price: 2357 CZK
Availability: InStock
Author: Chris George
ISBN: 9783540000297

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

Chris George

Huaikou Miao

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01555926

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2002

This book constitutes the refereed proceedings of the 4th International Conference on Formal Enginee... Celý popis

Libristo kód: 01555926

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Geschichte Der Gewerbe C. G. Rehlen

Brožovaná

619 Kč

L'Òscar i el drac afamat Krause

Pevná

371 Kč

Spektrum Psychologie - Kann die Persönlichkeit krank machen? Spektrum der Wissenschaft

Brožovaná

189 Kč

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.