Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - SpringerBriefs in Electrical and Computer Engineering - Julia Seiter - Books - Springer International Publishing AG - 9783319414799 - July 11, 2016
In case cover and title do not match, the title is correct

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

Price
HK$ 437
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 11, 2016
ISBN13 9783319414799
Publishers Springer International Publishing AG
Pages 94
Dimensions 155 × 235 × 6 mm   ·   158 g
Language German  

Mere med samme udgiver

See all of Julia Seiter ( e.g. Paperback Book )