UML-B Specification for Proven Embedded Systems Design - - Books - Springer-Verlag New York Inc. - 9781441952561 - December 3, 2010
In case cover and title do not match, the title is correct

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

Price
HK$ 1,244
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 15 - 19

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     Paperback Book   (Book with soft cover and glued back)
Released December 3, 2010
ISBN13 9781441952561
Publishers Springer-Verlag New York Inc.
Pages 300
Dimensions 150 × 220 × 10 mm   ·   476 g
Language English  
Editor Mermet, Jean

Mere med samme udgiver