9780262162098 - types and programming languages di pierce, benjamin c. (35 risultati)
- Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.BooksRun
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 47,34
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair. 1. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
- Rilegato
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 49,42
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Rilegato
Da: World of Books Inc, Montgomery, IL, U.S.A.World of Books Inc
Contatta il venditoreVenditore con 2 stelleCondizione: Usato - Buono
EUR 51,90
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardback. Condizione: Good. 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 l…anguages 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.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 49,42
EUR 3,23 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: Greenworld Books, arlington, TX, U.S.A.Greenworld Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 65,64
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.
- Rilegato
Da: Anybook.com, Lincoln, Regno UnitoAnybook.com
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Mediocre
EUR 59,93
EUR 15,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Anybook.com, Lincoln, Regno UnitoAnybook.com
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 59,93
EUR 15,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study 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,1400grams, ISBN:9780262162098.
- Rilegato
Da: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 77,94
EUR 4,30 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 93,80
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 96,15
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread copy in mint condition.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,89
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,25
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 92,07
EUR 7,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xxi + 623 Illus.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 99,38
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xxi + 623.
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 88,62
EUR 18,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
hardcover. Condizione: New.
- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 108,20
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 pro…gramming 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.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 94,36
EUR 13,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. In English.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 91,59
EUR 17,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 98,66
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xxi + 623.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 96,07
EUR 17,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- 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 103,36
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 10 disponibili
Condizione: 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…. . . . . .
- Rilegato
Da: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,65
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New.
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 118,81
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New.
- Rilegato
Da: Speedyhen, Hertfordshire, Regno UnitoSpeedyhen
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,67
EUR 47,72 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: NEW.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,16
EUR 9,04 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: 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.
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 143,01
EUR 5,98 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,01
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: 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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 107,53
EUR 39,98 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: 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 programmi…ng 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.
- Rilegato
Da: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 151,60
EUR 4,74 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. New Copy. Customer Service Guaranteed.
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 149,44
EUR 8,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
