Empirical Software Engineering and Verification
Subtitle: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
By: edited by Bertrand Meyer, Martin Nordio
Contributors: Nordio, Martin; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7007
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642252310
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Information Systems; Software engineering; Logic design; Logics and Meanings of Programs; Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters