Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319955810 - 12 de julio de 2018
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

Aún no valorado

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.

692 pages, 131 Illustrations, black and white; XIV, 692 p. 131 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de julio de 2018
ISBN13 9783319955810
Editores Springer International Publishing AG
Páginas 692
Dimensiones 150 × 220 × 10 mm   ·   975 g
Lengua Alemán  
Editor De Vink, Erik
Editor Havelund, Klaus
Editor Peleska, Jan
Editor Roscoe, Bill

Más del mismo editor