Kontraktbaseret Programmering

245 DKK (Vejl. pris: 250 kr) Du sparer 2%

Status: Udsolgt
Levering: 2-5 dage


Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Bogen fokuserer på konstruktion af korrekte computerprogrammer ved brug af formelle metoder. Bogen indeholder en fremstilling af matematiske værktøjer, som benyttes ved konstruktion af algoritmer. Metoderne er baseret på brug af formelle specifikationer af algoritmernes funktion samt prædikattransformeren "Den svageste Præbetingelse" (weakest precondition). Selv om man i praksis ikke ønsker at benytte formalismen, hjælper bogens metoder med til at skabe gode arbejdsformer, når man udvikler programmer. Således opnås der større sikkerhed for, at programmerne fungerer korrekt, dvs. i overensstemmelse med specifikationerne.

Boginfo


Titel
Kontraktbaseret Programmering
Forfatter
Anker Mørk Thomsen
Forlag
Forlaget Thomsen
Udgivet
2022-08-07
Kategorier
IT Fagbøger
Bogtype
Bog
Indbinding
Paperback
Sprog
Dansk
Udgave
2
ISBN
9788740429985

Lignende bøger


SPAR
2%
Bog (Paperback)
167 kr ( 170 kr )
SPAR
2%
Bog (Paperback)
146 kr ( 149 kr )
SPAR
2%
Bog (Paperback)
98 kr ( 100 kr )
SPAR
2%
Bog (Paperback)
167 kr ( 170 kr )
SPAR
2%
Bog (Paperback)
195 kr ( 199 kr )
SPAR
2%
Bog (Paperback)
245 kr ( 250 kr )

Praktisk info


Masser af inspiration og gode tilbud
På Liveboox finder du mere end 100.000 bøger, e-bøger og lydbøger til lave priser.
Sikker betaling
Du kan trygt handle på Liveboox – vi garanterer sikker betaling med krypterede data efter godkendte og gældende standarder.
Fri fragt
Fragten er gratis på ordrer over 499 kr. Ellers koster fragten kun 29 kr. Levering af digitale bøger er altid gratis.
Levering
Vi leverer i løbet af 1-5 hverdage. Leveringstid fremgår ved hver enkelt vare. Du bestemmer selv, om det skal være til døren eller til en pakkeshop. Digitale bøger leveres med det samme.
Returret
Vi tilbyder 30 dages returret på alle bøger.
Kundeservice

+45 7199 8841 (Hverdage 9.00 - 13.00)

[email protected] (Vi svarer alle hverdage inden 48 timer)