Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
Edición de la obra Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
| Autor | John Cooke |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 23, 1999 |
| Idioma | inglés |
| Páginas | 395 |
| Formato | Paperback |
| ISBN-13 | 9783540761563 |
| ISBN-10 | 354076156X |
| Número de Cutter | C772c |