Parametric lambda calculus metamodel von ronchi rocca (15 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,69
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 59,26
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, NY, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Erstausgabe
Anbieter: Dorley House Books, Inc., Hagerstown, MD, USADorley House Books, Inc.
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 57,93
EUR 7,49 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: No Jacket as Issued. 1st. 1st printing; pictorial c. 262 clean, unmarked pages.
Sprache: Englisch
Verlag: Springer 2010-12, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,43
EUR 18,08 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,07
EUR 13,98 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: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,07
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,42
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 65,26
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
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, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 108,84
EUR 6,01 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
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.
Weitere BilderSprache: Englisch
Verlag: Springer, 2004
Serie: Buch 34 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: Neu. The Parametric Lambda Calculus | A Metamodel for Computation | Simona Ronchi Della Rocca (u. a.) | Buch | Texts in Theoretical Computer Science. An EATCS Series | xiv | Englisch | 2004 | Springer | EAN 9783540200321 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg…, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
