Gå direkte til innholdet
Empirical Software Engineering and Verification
Spar

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.
Undertittel
International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Opplag
2012
ISBN
9783642252303
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.1.2012
Antall sider
213