Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering - Jim Davies - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540732099 - 22 de junio de 2007
En caso de que portada y título no coincidan, el título será el correcto

Jim Davies
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

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

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

662 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de junio de 2007
ISBN13 9783540732099
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 662
Dimensiones 155 × 235 × 34 mm   ·   929 g
Lengua Francés  
Editor Davies, Jim
Editor Gibbons, Jeremy

Mas por Jim Davies

Mostrar todo

Mere med samme udgiver

Ver todo de Jim Davies ( Ej. CD , Paperback Book , Book y Hardcover Book )