Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - 書籍 - Springer London Ltd - 9781447157908 - 2015年7月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

価格
¥ 17.147
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月14日 - 年9月24日
Neeraj Kumar Singh の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年7月7日
発売日 2013
ISBN13 9781447157908
出版社 Springer London Ltd
ページ数 326
寸法 155 × 235 × 18 mm   ·   522 g
言語 英語  

Neeraj Kumar Singhの他の作品を見る

すべて表示

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

Neeraj Kumar Singhのすべてを見る ( 例： Paperback Book および Hardcover Book )