Order Total (1 Item Items):
Shipping Destination:
Theories Programming Languages by Reynolds John (39 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (39)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (13)
- Not Print on Demand (33)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
hardcover. Condition: Good. Hardcover book no dust jacket. Light wear to book cover and book edges.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Theories of Programming Languages
Published by Cambridge University Press, Cambridge / New York, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Hardcover. Condition: Very Good. 8vo, hardcover. No dj, as issued. Vg condition. Slightest moisture-rippling to bottom margin of pgs, to minor effect, not affecting text at all (no staining); Contents bright & clean, no markings; covers glossy. xii, 500 p.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
US$ 43.63
Convert currencyUS$ 17.41 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780521594141.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Condition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
First Edition
paperback. Condition: New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Condition: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 84.49
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 77.36
Convert currencyUS$ 16.05 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:9780521106979.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Condition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
US$ 93.52
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Theories of Programming Languages (Paperback)
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Paperback. Condition: new. Paperback. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
US$ 102.35
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Condition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 95.36
Convert currencyUS$ 16.19 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Theories of Programming Languages
Published by Cambridge University Press 2009-06-01, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 91.54
Convert currencyUS$ 20.93 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 94.73
Convert currencyUS$ 20.27 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New.
-
Theories of Programming Languages (Hardcover)
Published by Cambridge University Press, Cambridge, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Hardcover. Condition: new. Hardcover. This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages. A unified treatment of the basic principles of programming languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
US$ 115.55
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 106.93
Convert currencyUS$ 16.19 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 106.92
Convert currencyUS$ 20.27 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Theories of Programming Languages
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 119.03
Convert currencyUS$ 20.27 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 125.26
Convert currencyUS$ 20.27 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 114.13
Convert currencyUS$ 33.78 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Theories of Programming Languages
Published by Cambridge University Press, 2009
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
Condition: As New. Unread book in perfect condition.
-
Theories of Programming Languages (Paperback)
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 101.59
Convert currencyUS$ 50.00 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Theories of Programming Languages (Hardcover)
Published by Cambridge University Press, Cambridge, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Language: English
US$ 113.42
Convert currencyUS$ 50.00 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages. A unified treatment of the basic principles of programming languages. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Theories of Programming Languages (Paperback)
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521106974 ISBN 13: 9780521106979
Language: English
US$ 126.51
Convert currencyUS$ 37.00 shipping from Australia to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
