Building High Integrity Applications with SPARK
715 kr
715 kr
I lager
Mån, 20 jan - fre, 24 jan
Säker betalning
Öppet köp till och med 7/1-25
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
715 kr
715 kr
I lager
Mån, 20 jan - fre, 24 jan
Säker betalning
Öppet köp till och med 7/1-25
Säljs och levereras av
Adlibris
Liknande toppsäljare
Afnan
Afnan 9 pm Eau De Parfum 100 ml (man)
387 kr
måndag, 30 dec
Izoxis
Nattlampa - Stjärnprojektor med LED-lampa - Astronaut
349 kr
3,6(5)
måndag, 30 dec
Hitster
Hitster Guilty Pleasure (Nordisk)
259 kr
Tidigare lägsta pris:
319 kr
torsdag, 2 jan
24.se
Sällskapsspel med magnetiska stenar med intelligensutmaning
159 kr
Tidigare lägsta pris:
169 kr
4,6(54)
torsdag, 2 jan
Apple
Apple AirPods (andra generation) med Lightning-laddningsetui
1 430 kr
3,6(78)
måndag, 30 dec
Sony
Sony PlayStation 5 Slim Digital Edition 1 TB
5 550 kr
Tidigare lägsta pris:
5 669 kr
4,5(2)
torsdag, 9 jan
Sony
Sony PlayStation 5 Slim Digital Edition (PS5)
5 678 kr
Tidigare lägsta pris:
5 689 kr
4,3(34)
måndag, 30 dec
Sony PlayStation DualSense - White (PS5)
779 kr
4,4(204)
torsdag, 2 jan
Bright Beauty
Bright Beauty Vanity Namira - sminkspegel med belysning - hollywoodspegel - make up spegel - vit - dimbar med tre ljuslägen
899 kr
4,4(46)
torsdag, 2 jan
Rattrix
Löpband under skrivbordet 1-6KM/H Walking Jogging Machine för hemmakontor Svart
1 799 kr
Tidigare lägsta pris:
1 899 kr
4,3(83)
måndag, 13 jan
Rekommendationer för dig
WEEN
Öronkuddar för Bose QuietComfort - QC35/QC25/QC15/AE2 Hörlurar SVART
79 kr
Tidigare lägsta pris:
99 kr
4,8(8)
torsdag, 2 jan
Otego
iPhone Laddare Snabbladdare - Adapter + Kabel 20W USB-C 2m
99 kr
3,3(37)
torsdag, 2 jan
GADGETMONSTER
Gadgetmonster Vlogging Kit - Komplett Vlogg-kit med LED-ringbelysning och golvstativ
199 kr
Tidigare lägsta pris:
399 kr
4,0(1)
tisdag, 7 jan
Olympiq
12-pack Oral-B Kompatibla Tandborsthuvuden
89 kr
4,3(86)
fredag, 3 jan
INF
INF Cocktail set Dubbel shaker 750ml Rostfritt stål Silver 10 delar
269 kr
Tidigare lägsta pris:
399 kr
4,5(55)
torsdag, 2 jan
Generic
Knivset för Barn 6-delar - Barnvänliga knivar
149 kr
4,4(17)
torsdag, 2 jan
Apple
Apple Airpods (2nd Gen) with Charging Case
1 695 kr
3,5(4)
måndag, 30 dec
Remote TV
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
99 kr
Tidigare lägsta pris:
129 kr
3,8(4)
onsdag, 8 jan
Bright Beauty Vanity
Bright Beauty Vanity Namira - sminkspegel med belysning - hollywoodspegel - make up spegel - vit - dimbar med tre ljuslägen
899 kr
4,3(845)
torsdag, 2 jan
Game Controller
PS4 Handkontroll DoubleShock Trådlös för Play-station 4
279 kr
3,8(86)
onsdag, 8 jan