Faites connaître cet article à vos amis:
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édias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 2 octobre 2012 |
| ISBN13 | 9789401047890 |
| Éditeurs | Springer |
| Pages | 458 |
| Dimensions | 228 × 154 × 34 mm · 693 g |
| Éditeur | Colburn, Timothy T.R. |
| Éditeur | Fetzer, J.H. |
| Éditeur | Rankin, R.L. |