Kirjojen hintavertailu. Mukana 11 174 049 kirjaa ja 11 kauppaa.
Kansikuva: Logic and Computer Science

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Tekijä: Steven Homer; Anil Nerode; Richard A. Platek; Gerald E. Sacks; Andre Scedrov

Info

Kirjan Logic and Computer Science (1990) on kirjoittanut Steven Homer. Kirjan kieli on englanti, ja sen on kustantanut Springer-Verlag Berlin and Heidelberg GmbH Co. K. Kirja on laajuudeltaan 170 sivua ja se on nidottu.

Kuvaus

The courses given at the 1st C. I. M. E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization. - A. Nerode: Some Lectures on Intuitionistic Logic. - R. A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G. E. Sacks: Prolog Programming. - A. Scedrov: A Guide to Polymorphic Types.

Tuotetiedot

ISBN 9783540527343
Kustantaja Springer-Verlag Berlin and Heidelberg GmbH Co. K
Julkaistu 17.07.1990
Formaatti nidottu
Kieli englanti
Sivumäärä 170
Paino 310g
Otsikko Logic and Computer Science
Tekijä Steven Homer; Anil Nerode; Richard A. Platek; Gerald E. Sacks; Andre Scedrov

Hintavertailu: Logic and Computer Science

Tarkastamme hinnat 11 eri kirjakaupasta.

Emme päivittäneet kirjan hintoja automaattisesti, koska verkkoliikenteesi tulee Suomen ulkopuolelta tai vaikuttaa epätavalliselta.

Kauppa
Adlibris
Haetaan hintaa...
Booky
Haetaan hintaa...
Kirja.fi
Haetaan hintaa...
Suomalainen
Haetaan hintaa...
Akateeminen Kirjakauppa
Haetaan hintaa...
Kansallinen Kirjakauppa
Haetaan hintaa...
Prisma
Haetaan hintaa...
Rosebud
Haetaan hintaa...
Finlandia Kirja
Haetaan hintaa...
Vinhan kirjakauppa
Haetaan hintaa...
Libristo
Haetaan hintaa...

Tällä hetkellä 0 kirjakauppaa myy teosta Logic and Computer Science. Edullisin hinta toimitettuna on —, mikä on — halvempi kuin kallein tarjous.

Hintoja ei ole vielä päivitetty.

Hintahälytys

Saat sähköpostin, kun hinta on sama tai alittaa asettamasi hinnan.

Sisältääkö hinta toimituskulut?

Hintahistoria

Kirja.infon hintahistorian halvin hinta kirjalle Logic and Computer Science viimeisen 90 päivän aikana:

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

Hinnat ilman toimituskuluja.