Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings - Lecture Notes in Computer Science - Maurice H. Ter Beek-Rosemary Monahan - Libros - Springer International Publishing AG - 9783031077265 - 1 de junio de 2022
En caso de que portada y título no coincidan, el título será el correcto

Maurice H. Ter Beek-Rosemary Monahan
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition

Precio
$ 74,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 26 de jun.

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 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.

373 pages, 48 Illustrations, color; 72 Illustrations, black and white; XV, 373 p. 120 illus., 48 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de junio de 2022
ISBN13 9783031077265
Editores Springer International Publishing AG
Páginas 373
Dimensiones 156 × 233 × 23 mm   ·   590 g
Lengua Alemán  
Editor Monahan, Rosemary
Editor Ter Beek, Maurice H.

Mere med samme udgiver

Ver todo de Maurice H. Ter Beek-Rosemary Monahan ( Ej. Paperback Book )