UML-B Specification for Proven Embedded Systems Design - - Boeken - Springer-Verlag New York Inc. - 9781441952561 - 3 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

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

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 3 december 2010
ISBN13 9781441952561
Uitgevers Springer-Verlag New York Inc.
Pagina's 300
Afmetingen 150 × 220 × 10 mm   ·   476 g
Taal en grammatica Engels  
Uitgever Mermet, Jean

Meer van dezelfde uitgever