Deductive Software Verification - the KeY Book
From Theory to Practice
Edición de la obra Deductive Software Verification - the KeY Book
From Theory to Practice
Edición de la obra Deductive Software Verification - the KeY Book
| Editorial | Springer International Publishing AG |
|---|
| Fecha de publicación | 2016 |
|---|
| Idioma | inglés |
|---|
| ISBN-13 | 9783319498119 |
|---|
| Número de Cutter | A287d |
|---|