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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - 2002. gada 9. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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
€ 118,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 20. aug. - . gada 3. sept.
Saņemiet paziņojumus par jauniem C George izdevumiem
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2002. gada 9. oktobris
ISBN13 9783540000297
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 636
Izmēri 155 × 235 × 33 mm   ·   902 g
Valoda Vācu  
Redaktors George, Chris
Redaktors Miao, Huaikou

Vairāk no C George

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus C George ( piem., Paperback Book )