Deductive Software Verification - The KeY Book by Wolfgang Ahrendt

  •
1 1

Deductive Software Verification - The KeY Book by Wolfgang Ahrendt

Checking stock...
Checking stock...

Part of Lecture Notes In Computer Science series

Summary

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

Deductive Software Verification - The KeY Book by Wolfgang Ahrendt

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

You might also like

SKU Unavailable
ISBN 13 9783319498119
ISBN 10 3319498118
Title Deductive Software Verification - The KeY Book
Author Wolfgang Ahrendt
Series Lecture Notes In Computer Science
Condition Unavailable
Binding Type Paperback
Publisher Springer International Publishing AG
Year published 2016-12-21
Number of pages 702
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note Unavailable