Importe total (1 artículo artículos):
Destino del pedido:
9780262162098 - Types and Programming Languages (The MIT Press) de Pierce, Benjamin C. (33 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (33)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (25)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (4)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (33)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (12)
- No impresión bajo demanda (33)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Types and Programming Languages (The MIT Press)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 36,73
Envío por EUR 3,15
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Types and Programming Languages (Mit Press)
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Types and Programming Languages (Mit Press)
Librería: Dream Books Co., Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 61,24
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Gently used with minimal wear on the corners and cover. A few pages may contain light highlighting or writing, but the text remains fully legible. Dust jacket may be missing, and supplemental materials like CDs or codes may not be included. May be ex-library with library markings. Ships promptly!
-
Types & Programming Languages
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,05
Envío por EUR 15,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1350grams, ISBN:9780262162098.
-
Types and Programming Languages
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 70,98
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Types and Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 90,79
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Types and Programming Languages (Hardcover)
Idioma: Inglés
Publicado por MIT Press Ltd, Cambridge, Mass., 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 93,08
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. A comprehensive introduction to type systems and programming languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Types and Programming Languages
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 91,63
Envío por EUR 2,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Types and Programming Languages Format: Hardcover
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 93,93
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread copy in mint condition.
-
Types and Programming Languages Format: Hardcover
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 94,02
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
-
Types and Programming Languages
Librería: Massive Bookshop, Greenfield, MA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 90,97
Envío por EUR 4,00
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoHardcover. Condición: New.
-
Types and Programming Languages
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 88,78
Envío por EUR 7,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. xxi + 623 Illus.
-
Types and Programming Languages
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 98,42
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xxi + 623.
-
Types & Programming Languages (The MIT Press)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,32
Envío por EUR 17,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritohardcover. Condición: New.
-
Types and Programming Languages (Mit Press)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,81
Envío por EUR 13,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: New. In.
-
Types and Programming Languages
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,24
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Types and Programming Languages
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 94,77
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Types and Programming Languages
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 114,06
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoHardback. Condición: New.
-
Types and Programming Languages
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 101,60
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xxi + 623.
-
Types and Programming Languages
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 103,36
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New. 2002. 1st Edition. Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330. . . . . .
-
Types and Programming Languages
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,85
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoHardback. Condición: New.
-
TYPES & PROGRAMMING LANGUAGES
Librería: Speedyhen, Hertfordshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 71,67
Envío por EUR 47,02
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: NEW.
-
Types and Programming Languages
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 126,50
Envío por EUR 8,83
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New. 2002. 1st Edition. Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330. . . . . . Books ship from the US and Ireland.
-
Types and Programming Languages (Mit Press)
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 139,66
Envío por EUR 5,85
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
-
Types and Programming Languages
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 98,01
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the abs.
-
Types and Programming Languages
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 146,14
Envío por EUR 8,75
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Types and Programming Languages
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,54
Envío por EUR 42,06
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoHardback. Condición: New.
-
Types and Programming Languages (Mit Press)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 171,61
Envío por EUR 3,57
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
-
Types and Programming Languages
Idioma: Inglés
Publicado por MIT Press Ltd Jan 2002, 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 107,53
Envío por EUR 66,77
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems and of programming languages from a type-theoretic perspective has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
-
Types and Programming Languages (Hardcover)
Idioma: Inglés
Publicado por MIT Press Ltd, Cambridge, Mass., 2002
ISBN 10: 0262162091 ISBN 13: 9780262162098
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 155,04
Envío por EUR 31,12
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. A comprehensive introduction to type systems and programming languages. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
