Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) - Hardcover
Buch 23 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Domains and Lambda-Calculi (Cambridge Tracts in Theoretical...
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Verlag:
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Gebraucht
Hardcover
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition. Bestandsnummer des Verkäufers mon0004034512
Gebraucht kaufen
EUR 109,89
EUR 4,33 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Verlag:
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Gebraucht
Hardcover
Anbieter: Book House in Dinkytown, IOBA, Minneapolis, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good-. Ex-lib with shelfwear, otherwise in very good condition. Binding is tight, sturdy, and square; math and text also very good. Ships from Dinkytown in Minneapolis, Minnesota. Bestandsnummer des Verkäufers 296173
Gebraucht kaufen
EUR 109,00
EUR 5,64 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
DOMAINS AND LAMBDA-CALCULI
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-100208
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521622776_new
Neu kaufen
EUR 184,96
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521622776
Neu kaufen
EUR 201,02
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Domains and Lambda-Calculi
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 484 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521622778
Neu kaufen
EUR 193,97
EUR 14,46 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Neu
Hardcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521622776
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Neu
Hardcover
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521622776
Neu kaufen
EUR 197,74
EUR 42,79 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
Verlag:
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Gebraucht
Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verkäufers ERICA77305216227786
Gebraucht kaufen
EUR 219,20
EUR 28,91 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Domains and Lambda-Calculi
Verlag:
Cambridge University Press CUP, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Neu
Hardcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 504 Index. Bestandsnummer des Verkäufers 26485627
Neu kaufen
EUR 245,08
EUR 3,46 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar