The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 2014年5月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Derrick G. Kourie
The Correctness-by-Construction Approach to Programming 2012 edition

価格
¥ 17.127
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月13日 - 年8月25日
Derrick G. Kourie の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

266 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年5月9日
ISBN13 9783642448546
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 266
寸法 155 × 235 × 15 mm   ·   394 g
言語 英語  

同じ出版社からのその他の記事

Derrick G. Kourieのすべてを見る ( 例： Hardcover Book および Paperback Book )