Parametric lambda calculus metamodel von ronchi rocca (6 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,23
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Buchmarie, Darmstadt, DeutschlandBuchmarie
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 42,01
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Good. Auflage: 2004.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, DeutschlandRoland Antiquariat UG haftungsbeschränkt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 69,90
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
2004. 262 p. New! -- Neu und originalverschweißt! 9783540200321 Sprache: Englisch Gewicht in Gramm: 522 Hardcover: 15.6 x 1.7 x 23.4 cm.
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,88 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The A-calculus was invented by Church in the 1930s with the purpose of sup plying a logical foundation for logic and mathematics [25]. Its use by Kleene as a coding for computable functions makes it the first programming lan guage, in an abstract sense, exa…ctly as the Thring machine can be considered the first computer machine [57]. The A-calculus has quite a simple syntax (with just three formation rules for terms) and a simple operational seman tics (with just one operation, substitution), and so it is a very basic setting for studying computation properties. The first contact between A-calculus and real programming languages was in the years 1956-1960, when McCarthy developed the LISP programming language, inspired from A-calculus, which is the first 'functional' program ming language, Le., where functions are first-dass citizens [66]. But the use of A-calculus as an abstract paradigm for programming languages started later as the work of three important scientists: Strachey, Landin and B6hm.
Weitere BilderSprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. The Parametric Lambda Calculus | A Metamodel for Computation | Simona Ronchi Della Rocca (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xiv | Englisch | 2010 | Springer | EAN 9783642057465 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69…121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 189,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) In deutscher Sprache. pages.
