Pastāsti draugiem par šo preci:
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 2002 edition
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
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 visuVairāk no tā paša izdevēja
Skatīt visus C George ( piem., Paperback Book )