Parametric Lambda Calculus Metamodel by Ronchi Rocca (15 results)
- More images
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 59.21
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Language: English
Published by Springer, NY, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- First Edition
Seller: Dorley House Books, Inc., Hagerstown, MD, U.S.A.Dorley House Books, Inc.
Contact seller4-star sellerCondition: Used - Near fine
US$ 65.00
US$ 8.65 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. Dust Jacket Condition: No Jacket as Issued. 1st. 1st printing; pictorial c. 262 clean, unmarked pages.
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.53
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2010-12, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.39
US$ 20.59 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.53
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.79
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 74.98
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Buchmarie, Darmstadt, GermanyBuchmarie
Contact seller4-star sellerCondition: Used - Good
US$ 49.19
US$ 47.75 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Good. Auflage: 2004.
- More images
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
US$ 81.86
US$ 47.75 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 122.12
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
- More images
Language: English
Published by Springer, Springer Vieweg, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.63
US$ 71.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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, e…xactly 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.
- More images
Language: English
Published by Springer, 2010
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.02
US$ 79.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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,…69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 221.32
US$ 45.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) In deutscher Sprache. pages.
- More images
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.85
US$ 79.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: 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 Heidelbe…rg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
