Deductive Software Verification - The KeY Book
Summary
The feel-good place to buy 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.| 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 |