この商品を友人に教える:
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems Timothy T R Colburn Softcover reprint of the original 1st ed. 1993 edition
価格
¥ 55.013
税抜
遠隔倉庫からの取り寄せ
発送予定日 年7月8日 - 年7月20日
iMusicのウィッシュリストに追加
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems
Timothy T R Colburn
471 pages, black & white illustrations, bibliography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2012年10月2日 |
| ISBN13 | 9789401047890 |
| 出版社 | Springer |
| ページ数 | 458 |
| 寸法 | 228 × 154 × 34 mm · 693 g |
| 編集者 | Colburn, Timothy T.R. |
| 編集者 | Fetzer, J.H. |
| 編集者 | Rankin, R.L. |