Get Free Shipping on orders over $79
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Luca Vigano

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

By: Luca Vigano (Editor), Margus Veanes (Editor)

Paperback | 7 June 2013

At a Glance

Paperback


$74.99

or 4 interest-free payments of $18.75 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.

More in Computer Programming & Software Development

Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$72.99

32%
OFF
Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Digital Image Security : Techniques and Applications - Amit Kumar Singh
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
Practical Probabilistic Programming - Stefan Nordin
Practical Probabilistic Programming - Stefan Nordin
The Art of Game Design : A Book of Lenses, Third Edition - Jesse  Schell