
Modeling and Verification Using UML Statecharts
642 kr.
642 kr.
På lager
Ons., 7 maj - tirs., 13 maj
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Produktbeskrivelse
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice.
Varenr.
3be961b0-d2bd-44a9-b936-c129e444cffa
Modeling and Verification Using UML Statecharts
642 kr.
642 kr.
På lager
Ons., 7 maj - tirs., 13 maj
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Lignende topsælgere

-18 %
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
539 kr.
Tidligere laveste pris:
659 kr.
4,3
onsdag, 30 apr.

Anti-snork Bånd / Magnetiske Plastre - Stopper snorken
99 kr.
mandag, 19 maj

Saphe One+ hastigheds- og trafikalarm
468 kr.
4,5
mandag, 12 maj

FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
961 kr.
4,6
onsdag, 30 apr.

G4 Halogenpærer / Stiftpærer - Halogen 10W (10-Pack)
69 kr.
4,3
onsdag, 7 maj

Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
4,5
onsdag, 7 maj

Timer til Klasselokalet - 60 minutter
169 kr.
4,0
onsdag, 7 maj

FENCHILIIN hollywood spejl makeup spejl med lys dæmpbar med tre lystilstande bordplade vægbeslag make up spejl med belysning hvid 58 x 46cm
571 kr.
4,6
onsdag, 30 apr.

-16 %
FENCHILIIN Hollywood Makeup Spejl Med Lys 360° drejelig dæmpbar med tre lystilstande bordplade Spejl hvid 65 x 49 cm
439 kr.
Tidligere laveste pris:
521 kr.
4,6
onsdag, 30 apr.

-11 %
FENCHILIIN Hollywood stort makeup spejl med lamper bordplade vægmonteret hvid spejl med lys
479 kr.
Tidligere laveste pris:
539 kr.
4,3
onsdag, 30 apr.
Anbefalede produkter

Wii til HDMI Adapter 1080p Full-HD kompatibel til Nintendo
50 kr.
4,4
fredag, 9 maj

Universal 250 m afgrænsningskabel til robotplæneklippere + 800 pløkker
470 kr.
5,0
fredag, 2 maj

94 CM 3 X Plæneklipperknive til Husqvarna RIDER R213 R214 R215 R216 R316 R318 R320 AWD
265 kr.
4,1
mandag, 28 apr.

Universal 250 m afgrænsningskabel til robotplæneklippere
364 kr.
4,8
fredag, 2 maj

-10 %
42V 2A Hurtigoplader batterilader til el-scooter elcykel batterilader
115 kr.
Tidligere laveste pris:
128 kr.
5,0
fredag, 9 maj

-34 %
FENCHILIIN Stor Hollywood Makeup Spejl med lys Bluetooth Krystal Finish Bordplade Vægbeslag Hvid 80 x 58 cm Spejl
521 kr.
Tidligere laveste pris:
795 kr.
3,9
onsdag, 30 apr.

INF Efterfilter til Dyson V11 V15 skaftstøvsuger 3-pak
179 kr.
3,9
onsdag, 30 apr.

-15 %
FENCHILIIN Hollywood makeup spejl med lys forstørrelse 360° drejelig bordplade hvid spejl 30 x 41 cm
331 kr.
Tidligere laveste pris:
391 kr.
4,6
onsdag, 30 apr.

3-pak AGA AQVIA PET-flaske, 1L (hvid)
159 kr.
4,3
fredag, 2 maj

Nice price
20-pak G4 halogenlamper 20W 12V - Varm hvid
99 kr.
4,0
onsdag, 7 maj