Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science - M. Gordon - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540097242 - lauantai 1. joulukuuta 1979
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition

M. Gordon

Hinta
€ 23,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
Eller

Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition

161 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 1. joulukuuta 1979
ISBN13 9783540097242
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 161
Mitta 155 × 235 × 9 mm   ·   249 g
Kieli English  

Näytä kaikki

Lisää tuotteita M. Gordon