The Correctness-by-Construction Approach to Programming
Edición de la obra The Correctness-by-Construction Approach to Programming
| Autor | Derrick G. Kourie, Bruce W. Watson |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 09, 2014 |
| Páginas | 280 |
| Formato | paperback |
| ISBN-13 | 9783642448546 |
| ISBN-10 | 3642448542 |
| Número de Cutter | K88c |