Types programming languages par pierce benjamin (55 résultats)
- Couverture souple
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-UnisThriftBooks-Atlanta
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Moyen
EUR 8,84
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-UnisBooksRun
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Moyen
EUR 47,34
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.
- Couverture rigide
Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-UnisWorld of Books (was SecondSale)
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 49,42
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Couverture rigide
Vendeur : World of Books Inc, Montgomery, IL, Etats-UnisWorld of Books Inc
Contacter le vendeurVendeur avec une évaluation de 2 étoilesEtat: Occasion - Satisfaisant
EUR 51,90
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardback. Etat : 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 langua…ges 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.
- Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 49,42
EUR 3,23 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.
- Couverture rigide
Vendeur : Greenworld Books, arlington, TX, Etats-UnisGreenworld Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 65,64
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 70,16
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Mauvais
EUR 59,93
EUR 15,83 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Moyen
EUR 59,93
EUR 15,83 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 74,72
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 81,37
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,12
EUR 13,94 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture rigide
Vendeur : thebookforest.com, San Rafael, CA, Etats-Unisthebookforest.com
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 77,94
EUR 4,30 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,11
EUR 17,46 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 73,76
EUR 17,46 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 79,82
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 93,80
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-UnisINDOO
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 96,15
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread copy in mint condition.
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 93,89
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : New.
- Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-UnisINDOO
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 96,25
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Brand New.
- Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 92,07
EUR 7,57 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Etat : New. pp. xxi + 623 Illus.
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 99,38
EUR 3,44 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. xxi + 623.
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 97,46
EUR 9,04 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 88,62
EUR 18,03 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
hardcover. Etat : New.
- Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 108,20
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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 programm…ing 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.
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 94,36
EUR 13,94 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Etat : New. In English.
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 91,59
EUR 17,46 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : New.
- Couverture rigide
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 98,66
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. xxi + 623.
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 96,07
EUR 17,46 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition.
- Couverture rigide
- Édition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 103,36
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 10 disponible(s)
Etat : 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. . .… . . .
