Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 2. oktobris |
| ISBN13 | 9789401047890 |
| Izdevēji | Springer |
| Lapas | 458 |
| Izmēri | 228 × 154 × 34 mm · 693 g |
| Redaktors | Colburn, Timothy T.R. |
| Redaktors | Fetzer, J.H. |
| Redaktors | Rankin, R.L. |