Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030549930 - 13 de agosto de 2020
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - Lecture Notes in Computer Science 1st ed. 2020 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;

523 pages, 98 Illustrations, color; 300 Illustrations, black and white; XVIII, 523 p. 398 illus., 98

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de agosto de 2020
ISBN13 9783030549930
Editores Springer Nature Switzerland AG
Páginas 523
Dimensiones 150 × 220 × 10 mm   ·   825 g
Lengua Alemán  
Editor Astarte, Troy
Editor Campos, Jose
Editor Farrell, Marie
Editor Guidotti, Riccardo
Editor Luckcuck, Matt
Editor Marmsoler, Diego
Editor Moreira, Nelma
Editor Oliveira, Jose N.
Editor Ratiu, Daniel
Editor Sekerinski, Emil

Mere med samme udgiver