Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - 書籍 - Springer London Ltd - 9781852333591 - 2002年2月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

H Dang Van
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) 2002 edition

価格
¥ 16.711
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月21日
H Dang Van の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.

424 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2002年2月8日
ISBN13 9781852333591
出版社 Springer London Ltd
ページ数 405
寸法 155 × 235 × 21 mm   ·   589 g
言語 英語  
編集者 Dang Van, Hung
編集者 George, Chris
編集者 Janowski, Tomasz
編集者 Moore, Richard

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

H Dang Vanのすべてを見る ( 例： Paperback Book )