💡Ny Ordreportal - Se aktuel status >>

Kontraktbaseret programmering

Af: Anker Mørk Thomsen
Kategori: Oprettet fra inventtable
Kategori nr.: 00
Varenr.: 2302802
| Stregkode: 9788740413151
Direkte | Leverandør: Diverse kreditorer (bibi)

Vælg format:
Lager status
  • IR Lager
  • IR Fysisk lager
  • Næste ankomstdato til IR's lager -
  • Butik bestilling
  • Resv. antal
  • Disp. lager

Beskrivelse

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.

Detaljer

  • EAN
    9788740413151
  • Vægt
    0 g
  • Disponent
    Direkte titel
  • Forfatter
    Anker Mørk Thomsen
  • Forlag
    Anker Mørk Thomsen
  • Udgave
    1
  • ISBN
    9788740413151
  • Sprog
    Dansk
  • Orginalsprog
    Dansk
  • Originaltitel
    Kontraktbaseret Programmering
  • Sideantal
    0
  • Udgivelsesdato
  • Format
    PDF
  • Themakode
    YQX
  • Kategori
    Oprettet fra inventtable
  • Kategori nr
    00
  • Lev. varenr.
    99999999

Læs uddrag

Kontraktbaseret programmering