Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Parametric Lambda Calculus

A Metamodel for Computation

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Parametric Lambda Calculus S. Ronchi Della Rocca
Libristo-code: 01558568
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2004
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Taschenbuch Zum Abstecken Von Kreisbogen Mit Und Ohne bergangsbogen F r Eisenbahnen, Stra en Und Kan le Max Höfer / Boek Gebonden (paperback)
common.buy 53.16 €
alba della mezzanotte. Il grido inascoltato del profeta Geremia Luigino Bruni / Boek Gebonden (paperback)
common.buy 20.96 €
Pretty guardian Sailor Moon. Eternal edition Naoko Takeuchi / Boek Gebonden (paperback)
common.buy 17.51 €
Der Weltkrieg Karl Helfferich / Boek Gebonden (paperback)
common.buy 35.74 €
Platón a problém filosofické vlády Jakub Jinek / Boek Gebonden (paperback)
common.buy 9.31 €
Szukaj i znajdź. Na łonie natury Thierry Laval / Boek Gebonden (harde band)
common.buy 9.71 €
Zwischen Reben und Rüben Andreas Wagner / Boek Gebonden (harde band)
common.buy 21.56 €
Redes reguladoras de microARN-ARNm en neoplasias malignas gastrointestinales El?bieta P?uciennik / Boek Gebonden (paperback)
common.buy 25.92 €
Fichus Derrida Jacques / Boek Gebonden (paperback)
common.buy 10.32 €
Vom Umgang mit nationalsozialistischer Vergangenheit in der deutschen Gegenwartsliteratur Linda Schulze / Boek Gebonden (paperback)
common.buy 42.83 €
Ausgewahlte Rechtsfragen des Softwarevertragsrechts Natalie Ragger / Boek Gebonden (paperback)
common.buy 52.66 €
Standortmanagement in Der Wirtschaftsfoerderung Philip Pongratz / Boek Gebonden (paperback)
common.buy 27.54 €
Insel und Stundenglas Karin Speidel / Boek Gebonden (paperback)
common.buy 5.66 €
Manuale illustrato di terapia sessuale Helen S. Kaplan / Boek Gebonden (paperback)
common.buy 13.06 €

The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. §The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. §The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.§This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Parametric Lambda Calculus
Auteur S. Ronchi Della Rocca, L. Paolini
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2004
Aantal pagina's 248
EAN 9783540200321
ISBN 3540200320
Libristo-code 01558568
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 520
Afmetingen 155 x 235 x 19

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Divergent Series, Summability and Resurgence III Eric Delabaere / Boek Gebonden (paperback)
common.buy 39.59 €
The Student's Text-Book of Electricity Henry Minchin Noad / Boek Gebonden (paperback)
common.buy 36.65 €
Secondary School Mathematics Teachers' Views and Use of Manipulatives Adrian Jones / Boek Gebonden (paperback)
common.buy 57.92 €
Dynamic Memory Management for Embedded Systems David Atienza Alonso / Boek Gebonden (paperback)
common.buy 51.75 €
United States Supreme Court Robert J. McKeever / Boek Gebonden (harde band)
common.buy 106.44 €
African Perspectives on Trade and the WTO Patrick Low / Boek Gebonden (harde band)
common.buy 78.08 €
Gilded Cage: (Royal Outlaw Series, Book 2) Kayla Hudson / Boek Gebonden (paperback)
common.buy 14.88 €
Coping Skills for Kids Workbook Janine Halloran / Boek Gebonden (paperback)
common.buy 24.70 €
Service Orientation in Holonic and Multi-Agent Manufacturing Theodor Borangiu / Boek Gebonden (harde band)
common.buy 206.00 €
Autobiography of Theodore Roosevelt Theodore Roosevelt / Boek Gebonden (paperback)
common.buy 19.94 €
Exposé: Satan & His Company Toadies Unmasked Robert E. Daley / Boek Gebonden (paperback)
common.buy 10.32 €
Theory of Elasticity for Scientists and Engineers Teodor M. Atanackovic / Boek Gebonden (harde band)
common.buy 103.10 €
Evolve Level 5 Workbook with Audio Carolyn Clarke Flores / Boek Gebonden (paperback)
common.buy 26.73 €
A Simple Guide to Rangoli Drawing! Rangoli / Kolam/ Muggu Handbook!: A Simple Handbook of Rangoli / Kolam / Muggu! Handmade Rangolis/ Kolams/ Muggulu! Narasimhan G R / Boek Gebonden (paperback)
common.buy 12.14 €
Wordt verwacht
Dhaka Adnan (The Catholic University of America) Morshed / Boek Gebonden (paperback)
common.buy 34.83 €
Roy Orbison Adult Coloring Book: Caruso of Rock and Big O, Master of Tenor and Dark Rock Ballads Inspired Adult Coloring Book Kim Adams / Boek Gebonden (paperback)
common.buy 10.32 €
Jewish Immigration To The United States: From 1881 To 1910 (1914) Samuel Joseph / Boek Gebonden (paperback)
common.buy 26.93 €
Galenic Pharmacy Richard August Cripps / Boek Gebonden (paperback)
common.buy 25.11 €
The Awakening of Turkey; a History of the Turkish Revolution E F. 1852-1925 Knight / Boek Gebonden (paperback)
common.buy 26.02 €
Seafood Recipes from the Adriatic Sea in Italy Gianni Scassa / Boek Gebonden (paperback)
common.buy 19.44 €
Direct Restorations Marius Bud / Boek Gebonden (harde band)
common.buy 151.21 €
Mercy Toni Morrison / Boek Gebonden (paperback)
common.buy 11.54 €
Lesbian Friendships Esther D. Rothblum / Boek Gebonden (paperback)
common.buy 43.95 €
Beyond Diagnosis - Case Formulation in Cognitive Behavioural Therapy, 2e Michael Bruch / Boek Gebonden (harde band)
common.buy 114.64 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?