UML-B Specification for Proven Embedded Systems Design Softcover reprint of hardcover 1st ed. 2004 edition

Name: UML-B Specification for Proven Embedded Systems Design
Price: 25262 JPY
Availability: OutOfStock

価格

¥ 25.262

税抜

遠隔倉庫からの取り寄せ

発送予定日年7月22日 - 年8月3日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

UML-B Specification for Proven Embedded Systems Design

Softcover reprint of hardcover 1st ed. 2004 edition

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

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2010年12月3日
ISBN13	9781441952561
出版社	Springer-Verlag New York Inc.
ページ数	300
寸法	150 × 220 × 10 mm · 476 g
言語	英語
編集者	Mermet, Jean