Recomienda este artículo a tus amigos:
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems Timothy T R Colburn Softcover reprint of the original 1st ed. 1993 edition
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems
Timothy T R Colburn
471 pages, black & white illustrations, bibliography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de octubre de 2012 |
| ISBN13 | 9789401047890 |
| Editores | Springer |
| Páginas | 458 |
| Dimensiones | 228 × 154 × 34 mm · 693 g |
| Editor | Colburn, Timothy T.R. |
| Editor | Fetzer, J.H. |
| Editor | Rankin, R.L. |