Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: SecondSale, Montgomery, IL, U.S.A.
Libro
Condizione: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Hardcover. Condizione: new.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: As New. Unread book in perfect condition.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro
Condizione: New. In.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Byrd Books, Austin, TX, U.S.A.
Libro
Hardcover. Condizione: very good. In Used Condition.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Books Unplugged, Amherst, NY, U.S.A.
Libro
Condizione: New. Buy with confidence! Book is in new, never-used condition.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: New. New! This book is in the same immaculate condition as when it was published.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Libro
Condizione: New.
Editore: Mit Pr, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Revaluation Books, Exeter, Regno Unito
Libro
Hardcover. Condizione: Brand New. 1st edition. 588 pages. 9.00x8.25x1.50 inches. In Stock.
Editore: MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro Prima edizione
Condizione: 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. . . . . .
Editore: MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Libro
Hardback. Condizione: 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.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Libro
Condizione: As New. Unread book in perfect condition.
Editore: MIT Press, 2005
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Monster Bookshop, Fleckney, Regno Unito
Libro
Hardcover. Condizione: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GoldBooks, Denver, CO, U.S.A.
Libro
Hardcover. Condizione: very good. Very Good Copy. Customer Service Guaranteed.
Editore: MIT Press Ltd, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Kennys Bookstore, Olney, MD, U.S.A.
Libro
Condizione: 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.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Libro
Hardcover. Condizione: new. New. Fast Shipping and good customer service.
Editore: MIT Press Ltd Dez 2004, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Buch. Condizione: 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.
Editore: MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Pieuler Store, Suffolk, Regno Unito
Libro
Condizione: 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.
Editore: MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Pieuler Store, Suffolk, Regno Unito
Libro
Condizione: new. Book is in NEW condition. Satisfaction Guaranteed! Fast Customer Service!!.
Editore: MIT Press Ltd, Cambridge, Mass., 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: CitiRetail, Stevenage, Regno Unito
Libro
Hardcover. Condizione: 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.
Editore: MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: moluna, Greven, Germania
Libro
Condizione: 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.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Front Cover Books, Denver, CO, U.S.A.
Libro
Condizione: new.
Editore: Mit Pr, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: Revaluation Books, Exeter, Regno Unito
Libro
Hardcover. Condizione: Brand New. 1st edition. 588 pages. 9.00x8.25x1.50 inches. In Stock.
Editore: MIT Press Ltd, Cambridge, Mass., 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: AussieBookSeller, Truganina, VIC, Australia
Libro
Hardcover. Condizione: 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.
Editore: The MIT Press, 2004
ISBN 10: 0262162288ISBN 13: 9780262162289
Da: GoldBooks, Denver, CO, U.S.A.
Libro
Hardcover. Condizione: new. New Copy. Customer Service Guaranteed.