Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de outubro de 2012 |
| ISBN13 | 9789401047890 |
| Editoras | Springer |
| Páginas | 458 |
| Dimensões | 228 × 154 × 34 mm · 693 g |
| Editor | Colburn, Timothy T.R. |
| Editor | Fetzer, J.H. |
| Editor | Rankin, R.L. |