Produkt mají v nabídce:
Empirical Software Engineering and Verification
Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.
