×


 x 

Shopping cart
. Ed(S): Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha - Validation of Evolving Software - 9783319382005 - V9783319382005
Stock image for illustration purposes only - book cover, edition or condition may vary.

Validation of Evolving Software

€ 66.10
FREE Delivery in Ireland
Description for Validation of Evolving Software Paperback. Editor(s): Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha. Num Pages: 228 pages, 32 black & white illustrations, 28 colour illustrations, 20 black & white tables, biograp. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Product Details

Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
228
Condition
New
Number of Pages
220
Place of Publication
Cham, Switzerland
ISBN
9783319382005
SKU
V9783319382005
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

About . Ed(S): Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Dr. Hana Chockler received her Ph.D. in Computer Science from the Hebrew University of Jerusalem in 2003. She is a member of the Software Modelling and Applied Logic Group in King's College, London, UK; she previously worked in the formal methods group at IBM Haifa Research Labs. She has particular expertise in coverage metrics and their extension to quality metrics; ... Read more

Reviews for Validation of Evolving Software

Goodreads reviews for Validation of Evolving Software


Subscribe to our newsletter

News on special offers, signed editions & more!