Advanced Lectures on Software Engineering

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specificati...
Read more
E-book
pdf
Price
44.99 £
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specificati...
Read more

Options

  • Formats: pdf
  • ISBN: 9783642130106
  • Publication Date: 9 May 2010
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM