Tallenna
Deductive Software Verification – The KeY Book
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.
- Alaotsikko
- From Theory to Practice
- Toimittaja
- Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
- Painos
- 1st ed. 2016
- ISBN
- 9783319498119
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.12.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 702
