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 - Books - Springer International Publishing AG - 9783319212142 - July 1, 2015
In case cover and title do not match, the title is correct

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

Price
$ 53.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 1, 2015
ISBN13 9783319212142
Publishers Springer International Publishing AG
Pages 209
Dimensions 155 × 235 × 12 mm   ·   3.58 kg
Language French  
Editor Blanchette, Jasmin Christian
Editor Kosmatov, Nikolai

Mere med samme udgiver