Foto 1 di 2
Galleria
Foto 1 di 2
Ne hai uno da vendere?
Types & Programming Languages (The ..., Pierce, Benjami
US $49,99
CircaEUR 42,57
Condizione:
Buone condizioni
Libro che è già stato letto ma è in buone condizioni. Mostra piccolissimi danni alla copertina incluse alcune rigature, ma nessun foro o strappo. È possibile che la sovraccoperta per le copertine rigide non sia inclusa. La rilegatura presenta minimi segni di usura. La maggior parte delle pagine non è danneggiata e mostra una quantità minima di piegature o strappi, sottolineature di testo a matita, nessuna evidenziazione di testo né scritte ai margini. Non ci sono pagine mancanti. Per maggiori dettagli e la descrizione di eventuali imperfezioni, consulta l'inserzione del venditore.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Spedizione:
Gratis USPS Media MailTM.
Oggetto che si trova a: Montgomery Illinois, Stati Uniti
Consegna:
Consegna prevista tra il mer 8 ott e il sab 11 ott a 94104
Restituzioni:
Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico del venditore.
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:356737589825
Specifiche dell'oggetto
- Condizione
- 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
Informazioni su questo prodotto
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Informazioni su questo venditore
worldofbooksinc
98,2% di Feedback positivi•1,2 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (291.930)
Questo oggetto (1)
Tutti gli oggetti (291.930)
- Proceso de votación automática de eBay- Feedback lasciato dall'acquirente.Mese scorsoEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoItem 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)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoThe 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoA+ 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 (N° 277215177308)
worldofbooksinc
98,2% di Feedback positivi•1,2 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (291.930)
Questo oggetto (1)
Tutti gli oggetti (291.930)
- Proceso de votación automática de eBay- Feedback lasciato dall'acquirente.Mese scorsoEl pedido se ha entregado con puntualidad y sin incidencias
- d***0 (433)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoItem 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)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoThe 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoA+ 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 (N° 277215177308)