
Building High Integrity Applications with SPARK
689 kr
689 kr
I lager
Tis, 20 maj - mån, 26 maj
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Produktbeskrivning
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
Artikel.nr.
b6a45eac-a388-5943-9270-a8def7fa02ef
Building High Integrity Applications with SPARK
689 kr
689 kr
I lager
Tis, 20 maj - mån, 26 maj
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Liknande toppsäljare

Nice price-5 %
3-pack ersättningsblad för Philips OneBlade för män
199 kr
Tidigare lägsta pris:
209 kr
3,0
torsdag, 15 maj

-5 %
Apple
Apple AirPods Pro (2nd Gen) 2023 USB-C
2 550 kr
Tidigare lägsta pris:
2 675 kr
4,8
måndag, 12 maj

-6 %
Sony PlayStation DualSense - White (PS5)
798 kr
Tidigare lägsta pris:
847 kr
4,4
tisdag, 13 maj

-1 %
Apple
Apple AirPods 4 Wireless In-ear
1 569 kr
Tidigare lägsta pris:
1 578 kr
5,0
måndag, 12 maj

Apple
Apple AirPods Pro (2nd Generation) USB-C
2 680 kr
4,6
onsdag, 14 maj

Laddare för iPhone 15 / iPhone 16 + 2M kabel Snabbladdare USB-C till USB-C
99 kr
4,1
fredag, 16 maj

Duschtröskel / Vattenbarriär – Vattenpropp Vattenhållarremsa - Självhäftande duschlist – 2m
120 kr
torsdag, 22 maj

Nice price-3 %
Samsung
Samsung Galaxy Tab A9+ Wifi 64GB Svart grafit
2 007 kr
Tidigare lägsta pris:
2 067 kr
4,5
onsdag, 14 maj

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter elsparkcykel
259 kr
4,4
tisdag, 13 maj

EA Sports FC 25 - PlayStation 4
391 kr
Tidigare lägsta pris:
392 kr
måndag, 12 maj
Rekommendationer för dig

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr
3,4
tisdag, 13 maj

-9 %
Ultimat Komfort Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
69 kr
Tidigare lägsta pris:
76 kr
4,5
torsdag, 15 maj

Nice price-1 %
Samsung
Samsung Galaxy S25 Ultra 256GB Titanium Black Svart, Titan
12 459 kr
Tidigare lägsta pris:
12 570 kr
5,0
onsdag, 14 maj

Apple
Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 549 kr
4,1
måndag, 12 maj

-29 %
Garmin Klockor Laddare Snabbladdare Universal 1 Pcs 1 Pcs
49 kr
Tidigare lägsta pris:
69 kr
4,6
fredag, 16 maj

-8 %
Kompatibel iPhone snabbladdare USB-C strömadapter 20W + 2m Kabel
119 kr
Tidigare lägsta pris:
129 kr
4,0
måndag, 26 maj

-17 %
Laddare till Samsung 25W - Snabbladdare USB-C - Strömadapter+Kabel 1M
99 kr
Tidigare lägsta pris:
119 kr
4,3
torsdag, 15 maj

-11 %
42V Snabbladdning batteriladdare för elektrisk scooter elcykelbatteriladdare
169 kr
Tidigare lägsta pris:
189 kr
5,0
torsdag, 22 maj

Apple
Apple AirPods 4 Active Noise Cancellation Wireless In-ear
2 099 kr
3,0
måndag, 12 maj

-37 %
Vattenfontän solcellsdriven 16 cm solcellsfontän vatten fontän utomhus Svart
149 kr
Tidigare lägsta pris:
236 kr
3,6
torsdag, 15 maj