Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 2 oktober 2012 |
| ISBN13 | 9789401047890 |
| Uitgevers | Springer |
| Pagina's | 458 |
| Afmetingen | 228 × 154 × 34 mm · 693 g |
| Uitgever | Colburn, Timothy T.R. |
| Uitgever | Fetzer, J.H. |
| Uitgever | Rankin, R.L. |