The Foundations of Program Verification
Edición de la obra The foundations of program verification
| Autor | Kurt Sieber, Jacques Loeckx, Ryan Stansifer |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | Oct 03, 2013 |
| Páginas | 239 |
| Formato | paperback |
| ISBN-13 | 9783322967541 |
| ISBN-10 | 3322967549 |
| Número de Cutter | S571f |