Imagen 1 de 2
Galería
Imagen 1 de 2
¿Quieres vender uno?
Types & Programming Languages (The ..., Pierce, Benjami
USD49,99
Aproximadamente42,57 EUR
Estado:
En buen estado
Libro que se ha leído pero que está en buen estado. Daños mínimos en la tapa, incluidas rozaduras, pero sin roturas ni agujeros. Es posible que no incluya sobrecubierta para tapas duras. Tapa muy poco desgastada. La mayoría de las páginas están en buen estado con muy pocas arrugas o roturas. El texto subrayado a lápiz es prácticamente inexistente, no hay texto resaltado ni anotaciones en los márgenes. No faltan páginas. Consulta el anuncio del vendedor para obtener más información y la descripción de cualquier posible imperfección.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Envío:
Gratis USPS Media MailTM.
Ubicado en: Montgomery Illinois, Estados Unidos
Entrega:
Entrega prevista entre el mié. 8 oct. y el sáb. 11 oct. a 94104
Devoluciones:
30 días para devoluciones. El vendedor paga el envío de la devolución.
Pagos:
Compra con confianza
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:356737589825
Última actualización el 19 sep 2025 11:06:00 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- Types & Programming Languages (The MIT Press)
- ISBN
- 0262162091
- EAN
- 9780262162098
- Release Title
- Types & Programming Languages (The MIT Press)
- Artist
- Pierce, Benjamin C
- Brand
- N/A
- Colour
- N/A
Acerca de este producto
Product Identifiers
Publisher
MIT Press
ISBN-10
0262162091
ISBN-13
9780262162098
eBay Product ID (ePID)
1989432
Product Key Features
Number of Pages
648 Pages
Publication Name
Types and Programming Languages
Language
English
Subject
Programming Languages / General, Software Development & Engineering / Quality Assurance & Testing, Programming / Object Oriented
Publication Year
2002
Type
Textbook
Subject Area
Computers
Format
Hardcover
Dimensions
Item Height
1.4 in
Item Weight
46.3 Oz
Item Length
9 in
Item Width
8.2 in
Additional Product Features
Intended Audience
Trade
LCCN
2001-044428
Dewey Edition
21
Reviews
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." -Robin Milner, Computer Laboratory, University of Cambridge
Illustrated
Yes
Dewey Decimal
005
Synopsis
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.
LC Classification Number
QA76.7.P54 2002
Descripción del artículo del vendedor
Información de vendedor profesional
Acerca de este vendedor
worldofbooksinc
98,2% de votos positivos•1,2 millones artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (291.827)
Este artículo (1)
Todos los artículos (291.827)
- Proceso de votación automática de eBay- Votos emitidos por el comprador.Mes pasadoEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Votos emitidos por el comprador.Mes pasadoCompra verificadaItem bought: Ocean Ramsey Shark book * Item value for the money 5/5 * Condition matching as advertised 5/5 * Quickly dispatched 5/5 * Arrived on time 5/5 * Shipping cost for this type of item 5/5 * Packaging quality for this item 5/5 * Seller recommendation 5/5 * Communication: NA (not needed as it arrived on time) * Comments: Ty for your business!!
- r***1 (177)- Votos emitidos por el comprador.Mes pasadoCompra verificadaThe book was exactly as described and arrived quickly. The only problem is a recurring one with this seller and other similar sellers - the book is poorly packaged in a plastic envelope and gets heavily bumped in shipping. I would like to see the books wrapped before shipment, but I understand this can't be done for cost reason. Luckily it isn't an expensive book, and I will continue to purchase basic books from this seller. A+++++
- p***m (273)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaA+ Highest Rating for this transaction. Nova Classic Volume 2 - Marvel / Paperback - condition & quality look really good, ALMOST NEW even better than described. Shipping was Fast (1 week) / packaging was thin mylar mailer, but no visible damage to book. Great price AND free shipping. I buy here often, and this transaction was flawless. 5 STARSNova Classic Volume 2, David A Kraft (#277215177308)
worldofbooksinc
98,2% de votos positivos•1,2 millones artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (291.827)
Este artículo (1)
Todos los artículos (291.827)
- Proceso de votación automática de eBay- Votos emitidos por el comprador.Mes pasadoEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Votos emitidos por el comprador.Mes pasadoCompra verificadaItem bought: Ocean Ramsey Shark book * Item value for the money 5/5 * Condition matching as advertised 5/5 * Quickly dispatched 5/5 * Arrived on time 5/5 * Shipping cost for this type of item 5/5 * Packaging quality for this item 5/5 * Seller recommendation 5/5 * Communication: NA (not needed as it arrived on time) * Comments: Ty for your business!!
- r***1 (177)- Votos emitidos por el comprador.Mes pasadoCompra verificadaThe book was exactly as described and arrived quickly. The only problem is a recurring one with this seller and other similar sellers - the book is poorly packaged in a plastic envelope and gets heavily bumped in shipping. I would like to see the books wrapped before shipment, but I understand this can't be done for cost reason. Luckily it isn't an expensive book, and I will continue to purchase basic books from this seller. A+++++
- p***m (273)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaA+ Highest Rating for this transaction. Nova Classic Volume 2 - Marvel / Paperback - condition & quality look really good, ALMOST NEW even better than described. Shipping was Fast (1 week) / packaging was thin mylar mailer, but no visible damage to book. Great price AND free shipping. I buy here often, and this transaction was flawless. 5 STARSNova Classic Volume 2, David A Kraft (#277215177308)