Kirjojen hintavertailu – 12 859 828 kirjaa ja 27 kauppaa
Lectures on the Logic of Computer Programming – Zohar Manna, kirjan kansikuva

Lectures on the Logic of Computer Programming – hinnat ja saatavuus

Kirjafiili on kirjojen hintavertailu. Löydä halvin hinta 27 kirjakaupasta. Hintavertailu koskee ISBN-tunnusta 9780898711646 (pokkari).

Kirjan kuvaus

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… Näytä koko kuvaus

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.

Kirjan tiedot

ISBN 9780898711646
Kustantaja Society for Industrial Applied Mathematics,U.S.
Vuosi 1980
Formaatti pokkari
Sivuja 49
Kieli Englanti
Paino 91 g

Vertaa kirjan ”Lectures on the Logic of Computer Programming” hintoja

Vertaa tuotteen hintaa ja arvioitua kokonaishintaa toimitettuna. Kaikki hinnat koskevat ISBN-tunnusta 9780898711646.

Hintoja ei päivitetty automaattisesti. Voit hakea ajantasaiset hinnat painamalla Hae hinnat.

0 kirjakauppaa
Kauppa

Booky

—
—
Ei saatavilla

Suomalainen

—
—
Ei saatavilla

Kansallinen Kirjakauppa

—
—
Ei saatavilla

Prisma

—
—
Ei saatavilla

Finlandia Kirja

—
—
Ei saatavilla

Fantasiapelit

—
—
Ei saatavilla

Vinhan kirjakauppa

—
—
Ei saatavilla

CDON

—
—
Ei saatavilla

Kustantamo S&S

—
—
Ei saatavilla

Kennys.ie

—
—
Ei saatavilla

Kristillinenkirjakauppa.fi

—
—
Ei saatavilla

Sacrum

—
—
Ei saatavilla

Adlibris

—
—
Ei saatavilla

BookOutlet.fi

—
—
Ei saatavilla

Kirja.fi

—
—
Ei saatavilla

Rosebud

—
—
Ei saatavilla

Tälle kirjalle ei ole tällä hetkellä vahvistettua hintaa. Tarkista tilanne myöhemmin uudelleen.

Hintoja ei ole vielä päivitetty.

Saat sähköpostin, kun hinta laskee asettamaasi rajaan tai sen alle.

€
Sisällytä toimituskulut hintaan

Lectures on the Logic of Computer Programming – hintahistoria

Seuraamme kirjan Lectures on the Logic of Computer Programming hintakehitystä kirjakaupoissa. Taulukosta näet viime kuukausien alimmat hinnat.

Alin hinta kauppoittain

Kunkin kaupan alin hinta viimeisten 90 päivän aikana.

Hintahistoriaa ei ole vielä kerätty tälle kirjalle.

Hinnat ilman toimituskuluja.