Dansk
Anker Mørk Thomsen
(forfatter)
Kontraktbaseret Programmering e-bog
111,44 DKK
Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Emnet har jeg opdelt i to dele. Den første del omfatter konstruktion og udvikling af algoritmer ved at anvende formelle metoder. Denne første del indeholder også diskret matematik, som danner grundlag for at kunne arbejde med de formelle metoder. Bog 1 indeholder pensum for de…
Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Emnet har jeg opdelt i to dele. Den første del omfatter konstruktion og udvikling af algoritmer ved at anvende formelle metoder. Denne første del indeholder også diskret matematik, som danner grundlag for at kunne arbejde med de formelle metoder. Bog 1 indeholder pensum for den første del af faget, som kaldes “Kontraktbaseret Programmering”. Bog 2 “Kontraktbaseret Design” omhandler design af programmodulerne i et objektorienteret sprog.
E-bog
111,44 DKK
Forlag
Forlaget Thomsen
Udgivet
07.04.2014
Genrer
Educational: General studies, educational skills and competencies
Sprog
Danish
Format
epub
Beskyttelse
Ingen
ISBN
9788740413151
Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Emnet har jeg opdelt i to dele. Den første del omfatter konstruktion og udvikling af algoritmer ved at anvende formelle metoder. Denne første del indeholder også diskret matematik, som danner grundlag for at kunne arbejde med de formelle metoder. Bog 1 indeholder pensum for den første del af faget, som kaldes “Kontraktbaseret Programmering”. Bog 2 “Kontraktbaseret Design” omhandler design af programmodulerne i et objektorienteret sprog.