Fm 99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science - Jeannette M Wing - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540665878 - 13 de septiembre de 1999
En caso de que portada y título no coincidan, el título será el correcto

Jeannette M Wing
Fm 99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 23 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

The first of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topics covered include software architecture, telecommunications, security, object-orientation, model checking, the B method, and composition and synthesis.

976 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de septiembre de 1999
ISBN13 9783540665878
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 976
Dimensiones 156 × 234 × 48 mm   ·   1,32 kg
Lengua Francés  
Editor Davies, Jim
Editor Wing, Jeannette M.
Editor Woodcook, Jim

Mere med samme udgiver

Ver todo de Jeannette M Wing ( Ej. Paperback Book )