Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030309411 - 15 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

774 pages, 92 Illustrations, color; 1596 Illustrations, black and white; XXI, 774 p. 1688 illus., 92

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de septiembre de 2019
ISBN13 9783030309411
Editores Springer Nature Switzerland AG
Páginas 774
Dimensiones 150 × 220 × 10 mm   ·   1,20 kg
Lengua Alemán  
Editor McIver, Annabelle
Editor Oliveira, Jose N.
Editor Ter Beek, Maurice H.

Mere med samme udgiver