|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Bertrand Meyer , Martin NordioPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2012 Volume: 7007 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.346kg ISBN: 9783642252303ISBN 10: 3642252303 Pages: 213 Publication Date: 09 January 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsSearch Based Software Engineering: Techniques, Taxonomy, Tutorial.- Replication of Software Engineering Experiments.- A Formal Reference for SCOOP.- On the Integration of Software Testing and Formal Analysis.- Is Branch Coverage a Good Measure of Testing Effectiveness.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |