UML-B Specification for Proven Embedded Systems Design - Fredrik Bernin - Books - Springer-Verlag New York Inc. - 9781402028663 - December 13, 1901
In case cover and title do not match, the title is correct

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

Price
Íkr 22,889
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 18 - Jul 2

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 13, 1901
ISBN13 9781402028663
Publishers Springer-Verlag New York Inc.
Pages 300
Dimensions 155 × 235 × 19 mm   ·   698 g
Editor Mermet, Jean

Mere med samme udgiver

See all of Fredrik Bernin ( e.g. Hardcover Book )