Parametric Lambda Calculus Metamodel by Ronchi Rocca (16 results)
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company
Contact seller5-star sellerCondition: Used - Very good
US$ 44.94
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good.
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$ 60.91
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
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.
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, 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$ 71.35
US$ 16.34 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
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$ 71.35
US$ 16.34 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$ 67.10
US$ 21.12 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: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.59
US$ 20.46 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
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$ 75.25
US$ 20.46 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: 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.
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$ 84.01
US$ 49.01 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, 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$ 64.28
US$ 73.37 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 imagesLanguage: 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$ 60.57
US$ 81.68 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: Buchmarie, Darmstadt, GermanyBuchmarie
Contact seller4-star sellerCondition: Used - Good
US$ 50.49
US$ 122.52 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Good. Auflage: 2004.
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$ 227.14
US$ 46.61 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 imagesLanguage: 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$ 60.39
US$ 81.68 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.
