• Altid lave priser og hurtig levering
  • "Fremragende" på Trustpilot - 42.363 anmeldelser
  • Gratis levering over 799 kr.
menuGucca.dk - Logo

Kontraktbaseret Programmering - Anker Mørk Thomsen - Bog

Indbinding: Paperback
Denne bog er blevet til gennem undervisning i faget Kontraktbaseret Udvikling på bacheloruddannelsen i Softwareudvikling. Bogen fokuserer på konstruktion af korrekte computerprogrammer ved brug... Læs mere.
249,95 kr
  • Ikke på lager
  • Levering: 5-15 hverdage
  • 30 dages returret

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.

Sikker e-handel

Internethandel skal være billigt, sikkert og hurtigt for kunderne. Det har vi hele tiden fokus på hos Gucca.dk.

Vi prioriterer sikkerhed højt

Online handel skal være sikkert for brugerne. Vi går derfor aldrig på kompromis med sikkerheden. Med NETS godkendelse af vores løsning for betaling online, har vi fået den bedste garanti for, at betalingssikkerheden er i top. Handel og betaling er derfor altid fuldstændig sikkert.

Vi tilbyder 30 dages returret hos Gucca.dk

Når vi skriver 30 dages returret, så er det selvfølgelig på alle typer varer. Så fortryder du af en eller anden grund dit køb, og ikke måtte ønske at beholde varen, så send blot varen retur til os, og du vil få dine penge tilbage. Inden du sender din returvare tilbage, er det en en god ide, at kontakte os først.

Sikker & hurtig levering

Vi er klar over, at du venter på din vare, og vi har derfor skruet op for leveringshastigheden, så varen kommer sikkert og hurtigt frem til dig. Vi tilstræber, at du modtager din forsendelse indenfor 1-2 hverdage, såfremt varen er på lager. På vores webshop fremgår lagerstatus ud for det enkelte produkt, så du kan altid få svar på, om vi har det på lager. Spørgsmål til lagerstatus og/eller leveringstiden? Så hold dig ikke tilbage med at kontakte os.

Online betalingsmuligheder

I vores webshop har du mulighed for at betale på adskillige måder. Der er frit valg blandt vores betalingsformer - du vælger den, der passer lige til dig. Uanset hvilken betalingsmetode du gør brug af, kan du trygt og sikkert handle hos os. Du kan se alle betalingsmuligheder her. Vær opmærksom på, at betalingskort har den fordel, at det først er på dagen hvor vi afsender dit produkt, at pengene trækkes fra din konto.

Du har altid mulighed for professionel assistance hos vores kundeservice

Skulle det ske, at du har problemer undervejs, er du velkommen til at tage kontakt til os. Du kan ringe eller sende e-mail til os mellem klokken 10-15 alle hverdage, og vi tilstræber altid, ikke bare at yde dig den assistance du ønsker, men også at det er i godt humør og med et smil på læben.

Følg forsendelse hele vejen til din adresse

Hvis du køber hos Gucca.dk, har du altid mulighed for at tracke din forsendelse. Når du færdiggør dit køb, kan du efterfølgende tilgå din egen personlige ordreside. Du kan se, hvornår vi sender din pakke, på ordresiden. I det øjeblik forsendelsen er på vej, får du leveringsinformation herom via mail.

Fakta

Forfatter(e)Anker Mørk Thomsen
Genre(r)Fagbøger
UdgivelsesdatoEr udgivet
ISBN-139788740429985
ISBN-108740429989
IndbindingPaperback
SprogDansk
Udgave2
Sidetal229
TagsProgrammering, Formelle Metoder, Specifikationer, Sikkerhed, Fejlfri, Matematik, Prædikatkalkyle, Kontraktbaseret Programmering, Bøger, Bog


Mediernes anmeldelser

Kundeanmeldelser

Vær den første til at skrive en kundeanmeldelse.

Skriv anmeldelse