Cover Image
Read Now

1
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Validation in a Real Software Life-Cycle -- Lessons Learned from a Successful Implementation of Formal...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”