Fri frakt over 399 kr

Fri frakt over 399 kr

Formal Methods for Safety and Security

-1 %

Formal Methods for Safety and Security

1 536 kr

1 536 kr

Tidligere laveste pris:

1 550 kr

På lager

Ti., 1 juli - fr., 4 juli

Sikker betaling

14 dagers åpent kjøp

Selges og leveres av

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Artikkel nr.

bfc0d521-9413-51ee-ab67-887aad04c8dc

Formal Methods for Safety and Security

1 536 kr

1 536 kr

Tidligere laveste pris:

1 550 kr

På lager

Ti., 1 juli - fr., 4 juli

Sikker betaling

14 dagers åpent kjøp

Selges og leveres av

Lignende toppselgere

Pop Mart Labubu Big into Energy 17 cm blind box

Pop Mart Labubu Big into Energy 17 cm blind box

249 kr

torsdag, 3 juli

Labubu Exciting Macaron 17 cm Pop Mart blind box

Labubu Exciting Macaron 17 cm Pop Mart blind box

249 kr

torsdag, 3 juli

Labubu Have a Seat 17 cm Pop Mart blind box

Labubu Have a Seat 17 cm Pop Mart blind box

249 kr

torsdag, 3 juli

POP MART The Monsters – Macaron Edition 17 cm | Blind Box Samlerfigur

POP MART The Monsters – Macaron Edition 17 cm | Blind Box Samlerfigur

259 kr

torsdag, 3 juli

Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart

Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart

99 kr

mandag, 30 juni

Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h

Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h

599 kr

mandag, 30 juni

INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0

INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0

99 kr

fredag, 27 juni

INF Støydempende og lydisolerende ørepropper med krok

INF Støydempende og lydisolerende ørepropper med krok

114 kr

Tidligere laveste pris:

143 kr

fredag, 27 juni

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml

179 kr

fredag, 27 juni

Universallader for Garmin klokker Svart

Universallader for Garmin klokker Svart

89 kr

fredag, 27 juni

Anbefalinger til dig

Hundetrimmer / Potetrimmer - Trimmer for Poter

Hundetrimmer / Potetrimmer - Trimmer for Poter

199 kr

mandag, 30 juni

6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss

6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss

1 390 kr

fredag, 27 juni

Playstation 5 DualSense Controller Midnight Black

Playstation 5 DualSense Controller Midnight Black

799 kr

fredag, 27 juni

3-Pak - Fidget Spinners med Sugekopp for Barn

3-Pak - Fidget Spinners med Sugekopp for Barn

119 kr

Tidligere laveste pris:

139 kr

mandag, 30 juni

Sony | Playstation® 5 Slim (Digital-versjon) - Spillekonsoll - 1TB SSD NVme - Wi-Fi/LAN - Hvid

Sony | Playstation® 5 Slim (Digital-versjon) - Spillekonsoll - 1TB SSD NVme - Wi-Fi/LAN - Hvid

5 724 kr

tirsdag, 24 juni

Filter for MSPA oppblåsbare bassenger FD2089 4-pakning

Filter for MSPA oppblåsbare bassenger FD2089 4-pakning

275 kr

Tidligere laveste pris:

365 kr

INF Tilbehør Xiaomi Roborock S5 Max/S50/S51/S55/S5/S60/S65/S6/S6 Pure/S6 MAXV 22 deler

INF Tilbehør Xiaomi Roborock S5 Max/S50/S51/S55/S5/S60/S65/S6/S6 Pure/S6 MAXV 22 deler

281 kr

Tidligere laveste pris:

351 kr

torsdag, 26 juni

Afnan Supremacy Collector's Edition Eau De Parfum 100 ml (man)

Afnan Supremacy Collector's Edition Eau De Parfum 100 ml (man)

707 kr

Tidligere laveste pris:

762 kr

mandag, 30 juni

Trådløs CarPlay-adapter 2025

Trådløs CarPlay-adapter 2025

299 kr

Tidligere laveste pris:

379 kr

mandag, 30 juni

Praktisk minnekortleser med Lightning-grensesnitt

Praktisk minnekortleser med Lightning-grensesnitt

179 kr

torsdag, 26 juni