Get Free Shipping on orders over $49
Tests and Proofs : 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceedings - Martina Seidl

Tests and Proofs

8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceedings

By: Martina Seidl (Editor), Nikolai Tillmann (Editor)

Paperback | 4 August 2014

At a Glance

Paperback


$79.99

or 4 interest-free payments of $20.00 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

More in Compilers & Interpreters

C# Programming in easy steps : Master C# fundamentals! - Mike McGrath
Applied Mathematics with F# - Sudipta Mukherjee
Java in Two Semesters : Featuring JavaFX - Aaron Kans
NUnit Pocket Reference : Pocket Reference (O'Reilly) - Bill Hamilton
Flex & Bison [With Access Code] : O'Reilly Ser. - John Levine

RRP $57.00

$5.00

91%
OFF
Pragmatic Programmers : Pragmatic Programmers - Terence Parr

RRP $36.75

$4.00

89%
OFF
Compilers : Principles, Techniques, and Tools - Alfred Aho
Compilers : A Practical Approach - James E Jr Miller
Definitive ANTLR 4 Reference : 2nd Edition - Terence Parr