Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6–10, 2023, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031274800 - 3 de marzo de 2023
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6–10, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.

659 pages, 132 Illustrations, color; 1098 Illustrations, black and white; XVI, 659 p. 1230 illus., 1

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de marzo de 2023
ISBN13 9783031274800
Editores Springer International Publishing AG
Páginas 659
Dimensiones 150 × 220 × 10 mm   ·   1,02 kg
Lengua Alemán  
Editor Chechik, Marsha
Editor Katoen, Joost-Pieter
Editor Leucker, Martin

Mere med samme udgiver