Lectures on the Logic of Computer Programming
340 kr.
340 kr.
På lager
Fre., 24 jan. - tors., 30 jan.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Produktbeskrivelse
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
Varenr.
91194a92-c6bd-463c-b977-be92b0d7f882
Lectures on the Logic of Computer Programming
340 kr.
340 kr.
På lager
Fre., 24 jan. - tors., 30 jan.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Lignende topsælgere
Bright Beauty
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,4(80)
fredag, 17 jan.
Generic
Timer til Klasselokalet - 60 minutter
169 kr.
4,2(55)
fredag, 24 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
659 kr.
4,3(910)
fredag, 17 jan.
A Series
RCA AV till HDMI Converter / Adapter 1080P Universal White
79 kr.
Tidligere laveste pris:
99 kr.
5,0(3)
torsdag, 16 jan.
Fenchilin
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
961 kr.
4,6(170)
fredag, 17 jan.
Bigzzia
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
1.549 kr.
4,2(297)
mandag, 27 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
549 kr.
4,1(47)
fredag, 17 jan.
Vitu
Nødradio med solceller og håndsving Solcelle 2000mAh Powerbank SOS
199 kr.
4,2(117)
fredag, 17 jan.
Fisher Price
Fisher Price Grin Og Lær Bordblandinger Dj Søvfarvet
473 kr.
tirsdag, 28 jan.
Rattrix
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
549 kr.
5,0(2)
fredag, 24 jan.
Anbefalede produkter
Fenchilin
FENCHILIIN Hollywood Makeup Spejl Med Lys dæmpbar med tre lystilstande Bordplade vægbeslag hvid 58 x 46cm
695 kr.
4,5(193)
fredag, 17 jan.
Generic
Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
4,5(712)
fredag, 24 jan.
Magnetic
Magnetic Tiles Kuglebane 88 dele
329 kr.
Tidligere laveste pris:
480 kr.
4,8(4)
fredag, 17 jan.
Remote TV
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
89 kr.
Tidligere laveste pris:
99 kr.
3,0(6)
onsdag, 22 jan.
Bright Beauty Vanity
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
4,1(24)
fredag, 17 jan.
Bright Beauty Vanity
Bright Beauty Vanity Nina - makeup spejl -make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
439 kr.
4,0(238)
fredag, 17 jan.
Generic
Knivssæt til Børn 6-dele - Børnevenlige knive
129 kr.
4,2(27)
fredag, 24 jan.
Generic
10-Pak - G4 Halogenpærer / Stiftpærer – Halogen 10W
59 kr.
3,3(3)
fredag, 24 jan.
Vitu
Nødradio med solceller og håndsving Solcelle 2000mAh Powerbank SOS
199 kr.
Tidligere laveste pris:
279 kr.
3,6(28)
fredag, 17 jan.
Rivanoo
Mini trådløs CarPlay & Android Auto-adapter til iPhone & Android – Nyd friheden fra kabler!
399 kr.
5,0(2)
mandag, 20 jan.