Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030311568 - 11 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–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 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.

207 pages, 34 Illustrations, color; 305 Illustrations, black and white; X, 207 p. 339 illus., 34 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 11 de septiembre de 2019
ISBN13 9783030311568
Editores Springer Nature Switzerland AG
Páginas 207
Dimensiones 150 × 220 × 10 mm   ·   454 g
Lengua Alemán  
Editor Beyer, Dirk, Ph. D.
Editor Keller, Chantal

Mere med samme udgiver