Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings - Lecture Notes in Computer Science - K Lau - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540297970 - 2005. gada 27. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Cena
€ 63,99

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

Paredzamā piegāde . gada 28. aug. - . gada 11. sept.
Saņemiet paziņojumus par jauniem K Lau izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more.


502 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2005. gada 27. oktobris
ISBN13 9783540297970
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 502
Izmēri 216 × 279 × 26 mm   ·   716 g
Valoda Vācu  
Redaktors Banach, Richard
Redaktors Lau, Kung-Kiu

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

Skatīt visus K Lau ( piem., Paperback Book )