Abstract Computing Machines
Kluge Werner
Venduto da Biblios, Frankfurt am main, HESSE, Germania
Venditore AbeBooks dal 10 settembre 2024
Nuovi - Rilegato
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrelloVenduto da Biblios, Frankfurt am main, HESSE, Germania
Venditore AbeBooks dal 10 settembre 2024
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrellopp. 404.
Codice articolo 18294540
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Received a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968; worked in industrie/research institutes at the central laboratories of Siemens AG between 1963 and 1968, at Bell Northern Research Ltd in Ottawa/Canada between 1969, and 1972 at the Gesellschaft fuer Mathematik und Datenverarbeitung in St. Augustin/Germany between 1973 and 1978; became an associate professor of computer science at the University of Bonn/Germany in 1978; became a full professor of computer science at the University of Kiel/Germany retired in 2003.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Quantità dell?ordine | Da 25 a 45 giorni lavorativi | Da 8 a 14 giorni lavorativi |
---|---|---|
Primo articolo | EUR 9.95 | EUR 18.70 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.