Julia Seiter
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - SpringerBriefs in Electrical and Computer Engineering Julia Seiter 1st ed. 2017 edition

Name: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - SpringerBriefs in Electrical and Computer Engineering
Price: 8927 JPY
Availability: OutOfStock
Author: Julia Seiter

価格

¥ 8.927

税抜

遠隔倉庫からの取り寄せ

発送予定日年8月10日 - 年8月20日

Julia Seiter の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - SpringerBriefs in Electrical and Computer Engineering

Julia Seiter

1st ed. 2017 edition

The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior.

102 pages, 25 black & white illustrations, 5 colour illustrations, 5 colour tables, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2016年7月11日
ISBN13	9783319414799
出版社	Springer International Publishing AG
ページ数	94
寸法	155 × 235 × 6 mm · 158 g
言語	ドイツ語