Stock image for illustration purposes only - book cover, edition or condition may vary.
Tests and Proofs
. Ed(S): Seidl, Martina; Tillmann, Nikolai
€ 63.20
FREE Delivery in Ireland
Description for Tests and Proofs
Paperback. Editor(s): Seidl, Martina; Tillmann, Nikolai. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 226 pages, 76 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
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.
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.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
226
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
214
Place of Publication
Cham, Switzerland
ISBN
9783319090986
SKU
V9783319090986
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Tests and Proofs