Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science - Xingzhi M E Zhan - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540437031 - 2 de mayo de 2002
En caso de que portada y título no coincidan, el título será el correcto

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science 2002 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities.


401 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de mayo de 2002
ISBN13 9783540437031
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 401
Dimensiones 155 × 235 × 21 mm   ·   957 g
Lengua Alemán  
Editor Butler, Michael
Editor Petre, Luigia
Editor Sere, Kaisa

Mere med samme udgiver