Deductive Software Verification - The KeY Book by Wolfgang Ahrendt

  •
1 1

Deductive Software Verification - The KeY Book by Wolfgang Ahrendt

Checking stock...
Checking stock...

Teil der Lecture Notes In Computer Science-Serie

Zusammenfassung

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 the UK
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • B Corp - kinder to people and planet
  • Buy-back with World of Books - Sell Your Books

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

More books in the Lecture Notes In Computer Science series
Alle anzeigen
SKU Nicht verfügbar
ISBN 13 9783319498119
ISBN 10 3319498118
Titel Deductive Software Verification - The KeY Book
Autor Wolfgang Ahrendt
Serie Lecture Notes In Computer Science
Buchzustand Nicht verfügbar
Bindungsart Paperback
Verlag Springer International Publishing AG
Erscheinungsjahr 2016-12-21
Seitenanzahl 702
Hinweis auf dem Einband Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis Nicht verfügbar