Location & Availability for: Tools for Practical Software Verificatio

 Staff view

You must be logged in to Tag Records

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, 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 : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7682
Topics: Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Techniques. | Programming Languages, Compilers, Interpreters. | 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: Tools for Practical Software Verificatio