Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: SecondSale, Montgomery, IL, U.S.A.
Book
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Published by The MIT Press 2005-02-15, Cambridge, Mass. |London, 2005
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Blackwell's, London, United Kingdom
Book
hardback. Condition: New. Language: ENG.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Hardcover. Condition: new.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by MIT Press, 2005
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Byrd Books, Austin, TX, U.S.A.
Book
Hardcover. Condition: very good. In Used Condition.
Published by MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book First Edition
Condition: New. 2004. 1st Edition. Hardcover. A thorough and accessible introduction to a range of key ideas in type systems for programming language. Editor(s): Pierce, Benjamin C. Num Pages: 608 pages, 125 illus. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 230 x 212 x 34. Weight in Grams: 1210. . . . . .
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book
Condition: New. In.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Mit Pr, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Revaluation Books, Exeter, United Kingdom
Book
Hardcover. Condition: Brand New. 1st edition. 588 pages. 9.00x8.25x1.50 inches. In Stock.
Published by MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. A thorough and accessible introduction to a range of key ideas in type systems for programming language.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by MIT Press, 2005
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Monster Bookshop, Fleckney, United Kingdom
Book
Hardcover. Condition: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GoldBooks, Denver, CO, U.S.A.
Book
Hardcover. Condition: very good. Very Good Copy. Customer Service Guaranteed.
Published by MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. 2004. 1st Edition. Hardcover. A thorough and accessible introduction to a range of key ideas in type systems for programming language. Editor(s): Pierce, Benjamin C. Num Pages: 608 pages, 125 illus. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 230 x 212 x 34. Weight in Grams: 1210. . . . . . Books ship from the US and Ireland.
Published by MIT Press, 2005
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Pieuler Store, Suffolk, United Kingdom
Book
Condition: good. 100% Customer Satisfaction Guaranteed ! The book shows some signs of wear from use but is a good readable copy. Cover in excellent condition. Binding tight. Pages in great shape, no tears. Not contain access codes, cd, DVD.
Published by MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Pieuler Store, Suffolk, United Kingdom
Book
Condition: new. Book is in NEW condition. Satisfaction Guaranteed! Fast Customer Service!!.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Book
Hardcover. Condition: new. New. Fast Shipping and good customer service.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Wizard Books, Long Beach, CA, U.S.A.
Book
Hardcover. Condition: new. New.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Grumpys Fine Books, Tijeras, NM, U.S.A.
Book
Hardcover. Condition: new. Prompt service guaranteed.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Book
Condition: New. New. In shrink wrap. Looks like an interesting title! 2.65.
Published by MIT Press Ltd Dez 2004, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Buch. Condition: Neu. Neuware - A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
Published by MIT Press Ltd, Cambridge, Mass., 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: CitiRetail, Stevenage, United Kingdom
Book
Hardcover. Condition: new. Hardcover. A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems-the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. A thorough and accessible introduction to a range of key ideas in type systems for programming language. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Front Cover Books, Denver, CO, U.S.A.
Book
Condition: new.
Published by MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: moluna, Greven, Germany
Book
Buch. Condition: New. Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for program.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: GoldBooks, Denver, CO, U.S.A.
Book
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
Published by MIT Press Ltd, Cambridge, Mass., 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: AussieBookSeller, Truganina, VIC, Australia
Book
Hardcover. Condition: new. Hardcover. A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems-the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. A thorough and accessible introduction to a range of key ideas in type systems for programming language. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Seller: Hafa Adai Books, Moncks Corner, SC, U.S.A.
Book
Condition: very good.