Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures /

Bibliographic Details
Other Authors:	Meyer, Bertrand, 1950-, Nordio, Martin
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 7007.
Subjects:	Computer software > Verification > Congresses. Software engineering > Congresses. Computer science. Information Systems. Logic design. Logics and Meanings of Programs. Management of Computing and Information Systems. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. Programming Techniques. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online