Vertel uw vrienden over dit artikel:
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
C George
Prijs
SEK 1.299
Besteld in een afgelegen magazijn
Verwachte levering 10 - 19 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
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
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 9 oktober 2002 |
| ISBN13 | 9783540000297 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 636 |
| Afmetingen | 155 × 235 × 33 mm · 902 g |
| Taal en grammatica | Duits |
| Uitgever | George, Chris |
| Uitgever | Miao, Huaikou |
