9780521622776 - domains and lambda-calculi hardback: 46 (cambridge tracts in theoretical computer science, series number 46) de amadio; curien (15 resultados)
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Book House in Dinkytown, IOBA, Minneapolis, MN, Estados Unidos de AmericaBook House in Dinkytown, IOBA
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: IOBA
Condición: Usado - Aceptable
EUR 108,31
Envío por EUR 5,70Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Books From California, Simi Valley, CA, Estados Unidos de AmericaBooks From California
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 111,02
Envío por EUR 4,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Very Good. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 187,44
Envío por EUR 14,04Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 203,08
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 222,13
Envío por EUR 29,30Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 264,29
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 504 Index.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 339,56
Envío por EUR 9,20Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 386,30
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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. . . . .
Idioma: Inglés
Editorial: Cambridge Univ Pr, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 196,57
Envío por EUR 14,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Brand New. 484 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 200,39
Envío por EUR 43,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 whet…her 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.
Idioma: Inglés
Editorial: Cambridge University Press, 2003
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,54
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 a…nd platform. To do this the authors expl.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 237,71
Envío por EUR 23,62Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Más imágenesIdioma: Inglés
Editorial: Cambridge University Press, 2003
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 209,50
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 280,52
Envío por EUR 7,62Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 504 85 Illus.
Idioma: Inglés
Editorial: Cambridge University Press, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 23 de 40. Libro 23 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 281,84
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 504.
