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

Jasmin Christian Blanchette
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
Íkr 8,109
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 20 - Sep 3
Get notified about new Jasmin Christian Blanchette releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

More from the same publisher

See all of Jasmin Christian Blanchette ( e.g. Paperback Book )