Software Verification and Analysis: An Integrated, Hands-On Approach by William Stanley, Janusz Laski

Software Verification and Analysis: An Integrated, Hands-On Approach

William Stanley, Janusz Laski

234 pages missing pub info (editions)

nonfiction computer science informative medium-paced

Description

"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. Th...

Read more

Community reviews

This book doesn't have any reviews or ratings yet!

If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.