Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science - C George - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - 9. oktobra 2002
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 19. - 27. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca C George
Dodaj na svoj seznam želja iMusic

Not rated yet

These 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.


636 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 9. oktobra 2002
ISBN13 9783540000297
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 636
Dimenzije 155 × 235 × 33 mm   ·   902 g
Jezik Nemščina  
Urednik George, Chris
Urednik Miao, Huaikou

Več od C George

Več od istega **izdajatelja**