Software Verification and Analysis [electronic resource] : An Integrated, Hands-On Approach / by William Stanley, Janusz Laski.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9781848822405
- Physical Description: online resource.
- Publisher: London : Springer London : 2009.
Search for related items by subject
Subject: | Computer science. Software engineering. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. |