Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - 書籍 - Springer London Ltd - 9781852338206 - 2004年11月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

John Cooke
Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

価格
¥ 10.356
税抜

遠隔倉庫からの取り寄せ

発送予定日 年5月28日 - 年6月15日

お客様の声：

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

Illustrates and explains the constructive approach to software development. This book uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.

532 pages, 100 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2004年11月8日
ISBN13 9781852338206
出版社 Springer London Ltd
ページ数 509
寸法 155 × 234 × 24 mm   ·   748 g
言語 英語  

John Cookeの他の作品を見る

すべて表示

John Cookeのすべてを見る ( 例： Paperback Book , Hardcover Book および Book )