Opening book details…
Can I read Software Verification and Analysis. An integrated, Hands-on Approach on EtoBox?
Software Verification and Analysis. An integrated, Hands-on Approach by Janusz Laski, William Stanley is a computer science book available to read on EtoBox.
What is Software Verification and Analysis. An integrated, Hands-on Approach about?
“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving
Who reads Software Verification and Analysis. An integrated, Hands-on Approach?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Janusz Laski, William Stanley
- Publisher
- Springer London : Imprint : Springer
- Published
- 2009
- Language
- EN
- ISBN
- 9781848822405
- Category
- computer science
- Subjects
- Engineering, Computer Science, Technology
- Updated
- 2026-03-25
More by Janusz Laski, William Stanley
Browse all works by Janusz Laski, William Stanley
Similar books
- An Integrated Approach to Software Engineering — Pankaj Jalote (auth.) (1997)
- Software Engineering : a Hands-on Approach — Roger Y. Lee (2013)
- Contracts, Scenarios and Prototypes : An Integrated Approach to High Quality Software — Reinhold Ploesch (2011)
- Software Verification and Validation : An Engineering and Scientific Approach — Marcus S. Fisher (auth.) (2007)
- Mechatronics : An Integrated Approach — Clarence W. de Silva (2005)
- Runtime Verification : A Hands-On Approach in Java — Christian Colombo; Gordon J. Pace (2022)