The Correctness-By-Construction Approach to Programming
Edición de la obra The Correctness-by-Construction Approach to Programming
| Autor | Derrick G. Kourie |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 18, 2012 |
| Páginas | 280 |
| Formato | paperback |
| ISBN-13 | 9783642279201 |
| ISBN-10 | 3642279201 |
| Número de Cutter | K88c |