Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems - Timothy T R Colburn - 書籍 - Springer - 9789401047890 - 2012年10月2日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems Softcover reprint of the original 1st ed. 1993 edition

価格
¥ 55.013
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月8日 - 年7月20日
iMusicのウィッシュリストに追加

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.

Mere med samme udgiver