Your Waterstones card is changing, introducing...
TELL ME MORE
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings - Programming and Software Engineering 9154 (Paperback)
  • Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings - Programming and Software Engineering 9154 (Paperback)
zoom

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings - Programming and Software Engineering 9154 (Paperback)

(editor), (editor)
£39.99
Paperback 209 Pages / Published: 01/07/2015
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.

Publisher: Springer International Publishing AG
ISBN: 9783319212142
Number of pages: 209
Weight: 3577 g
Dimensions: 235 x 155 x 12 mm
Edition: 2015 ed.

You may also be interested in...

Test Driven Development
Added to basket
Writing Effective Use Cases
Added to basket
The Mythical Man-Month
Added to basket
Agile Product Management with Scrum
Added to basket
Coaching Agile Teams
Added to basket
Art of Agile Development
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
The Art of Unit Testing
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Pro Git
Added to basket
£35.50
Paperback
The Agile Samurai
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Kanban
Added to basket
£33.55
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.