UML-B Specification for Proven Embedded Systems Design - Fredrik Bernin - 書籍 - Springer-Verlag New York Inc. - 9781402028663 - 1901年12月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Fredrik Bernin
UML-B Specification for Proven Embedded Systems Design 2004 edition

価格
¥ 29.270
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月24日 - 年9月9日
Fredrik Bernin の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components.

300 pages, 48 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1901年12月13日
ISBN13 9781402028663
出版社 Springer-Verlag New York Inc.
ページ数 300
寸法 155 × 235 × 19 mm   ·   698 g
言語 英語  
編集者 Mermet, Jean

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

Fredrik Berninのすべてを見る ( 例： Hardcover Book )