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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540000297 - 9 de octubre de 2002
En caso de que portada y título no coincidan, el título será el correcto

C George
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

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 9 - 19 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de octubre de 2002
ISBN13 9783540000297
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 636
Dimensiones 155 × 235 × 33 mm   ·   902 g
Lengua Alemán  
Editor George, Chris
Editor Miao, Huaikou

Mas por C George

Mostrar todo

Ver todo de C George ( Ej. Paperback Book )