Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 2. oktobra 2012 |
| ISBN13 | 9789401047890 |
| Založniki | Springer |
| Strani | 458 |
| Dimenzije | 228 × 154 × 34 mm · 693 g |
| Urednik | Colburn, Timothy T.R. |
| Urednik | Fetzer, J.H. |
| Urednik | Rankin, R.L. |