Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science - Jasmin Christian Blanchette - Libros - Springer International Publishing AG - 9783319212142 - 1 de julio de 2015
En caso de que portada y título no coincidan, el título será el correcto

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science 2015 edition

Precio
$ 53,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.
Añadir a tu lista de deseos de iMusic

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.


209 pages, 57 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de julio de 2015
ISBN13 9783319212142
Editores Springer International Publishing AG
Páginas 209
Dimensiones 155 × 235 × 12 mm   ·   3,58 kg
Lengua Francés  
Editor Blanchette, Jasmin Christian
Editor Kosmatov, Nikolai

Mere med samme udgiver