9780521622776 - domains and lambda-calculi di amadio, roberto m.; curien, pierre-louis (15 risultati)
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.Book House in Dinkytown, IOBA
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: IOBA
Condizione: Usato - Buono
EUR 108,31
EUR 5,70 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 111,02
EUR 4,37 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 187,44
EUR 14,04 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 203,08
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 222,13
EUR 29,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 264,29
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 504 Index.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 339,56
EUR 9,20 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 504 pages, 85 b/w… illus. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 32. Weight in Grams: 910. . 1998. First Edition. Hardcover. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 386,30
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 504 pages, 85 b/w… illus. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 32. Weight in Grams: 910. . 1998. First Edition. Hardcover. . . . .
Lingua: Inglese
Editore: Cambridge Univ Pr, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 196,57
EUR 14,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 484 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 200,39
EUR 43,37 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 whe…ther 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.
Lingua: Inglese
Editore: Cambridge University Press, 2003
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 192,54
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 expl.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 237,71
EUR 23,62 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Altre immaginiLingua: Inglese
Editore: Cambridge University Press, 2003
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 209,50
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Buch | Gebunden | Englisch | 2003 | Cambridge University Press | EAN 9780521622776 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 280,52
EUR 7,62 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 504 85 Illus.
Lingua: Inglese
Editore: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 di 40. Libro 23 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 281,84
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 504.
