Verified Software Theories Tools and Experiments -  - Libros - Springer Nature Switzerland AG - 9783030035914 - 24 de noviembre de 2018
En caso de que portada y título no coincidan, el título será el correcto

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.
Añadir a tu lista de deseos de iMusic

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.


345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

Medios de comunicación Libros     Book
Publicado 24 de noviembre de 2018
ISBN13 9783030035914
Editores Springer Nature Switzerland AG
Páginas 345
Dimensiones 150 × 220 × 20 mm   ·   552 g
Lengua Alemán  
Editor Piskac, Ruzica
Editor Rummer, Philipp