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

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

価格
SFr. 85,99
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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).

346 pages, 45 black & white illustrations, 20 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2013年7月2日
ISBN13 9781447152590
出版社 Springer London Ltd
ページ数 326
寸法 155 × 235 × 20 mm   ·   707 g
言語 英語  
すべて表示

Neeraj Kumar Singhの他の作品を見る

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