UML-B Specification for Proven Embedded Systems Design - - Knihy - Springer-Verlag New York Inc. - 9781441952561 - 03. decembra 2010
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 150,49

Objednané zo vzdialeného skladu

Očakávané doručenie 25. sep - 5. okt

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 03. decembra 2010
ISBN13 9781441952561
Vydavatelia Springer-Verlag New York Inc.
Strany 300
Rozmery 150 × 220 × 10 mm   ·   476 g
Jazyk Angličtina  
Editor Mermet, Jean

Viac od toho istého vydavateľa