Importo totale (1 articolo articoli):
Destinazione ordine:
9783540200321 - The Parametric Lambda Calculus: A Meta-Model for Computation di Ronchi Della Rocca, S.; Paolini, Luca (16 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (16)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (16)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (16)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (8)
- Non Print on Demand (12)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 276.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 42,48
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 276 Illus.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 43,31
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 276.
-
Parametric Lambda Calculus : A Meta-Model for Computation
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,67
Spedizione EUR 2,26
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,88
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,60
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Parametric Lambda Calculus : A Meta-Model for Computation
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,35
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Hardback or Cased Book)
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback or Cased Book. Condizione: New. The Parametric Lambda Calculus: A Metamodel for Computation. Book.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSDa: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
The Parametric Lambda Calculus : A Metamodel for Computation
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540200320 ISBN 13: 9783540200321
EUR 53,49
Spedizione EUR 62,88
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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, exactly 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.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2004, 2004
ISBN 10: 3540200320 ISBN 13: 9783540200321
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, exactly 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. 272 pp. Englisch.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540200320 ISBN 13: 9783540200321
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Completely new presentation of classical results in the Lambda Calculus field together with some new resultsCompletely new presentation of classical results in the Lambda Calculus field together with some new resultsIncludes supplementa.
-
The Parametric Lambda Calculus
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2004, 2004
ISBN 10: 3540200320 ISBN 13: 9783540200321
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.
-
The Parametric Lambda Calculus | A Metamodel for Computation
Libro 34 di 45: Texts in Theoretical Computer Science. An EATCSEUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
