Location & Availability for: Empirical Software Engineering and Verif

 Staff view

You must be logged in to Tag Records

Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /

edited by Bertrand Meyer, Martin Nordio.

Book Cover
Names: Meyer, Bertrand. | Nordio, Martin.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7007
Topics: Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Mathematical Logic and Formal Languages. | Management of Computing and Information Systems.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Empirical Software Engineering and Verif