Published by Springer London, Limited, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
First Edition
Condition: Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
£ 12.76
Convert currencyQuantity: 1 available
Add to basketCondition: Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher.
Condition: New. pp. 288 Illus.
£ 19.58
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp. 288.
£ 19.90
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp. 288.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 30.41
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 34.70
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
£ 37.51
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New. 2007 ed. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
Published by Cambridge University Press 16/07/1992, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Bahamut Media, Reading, United Kingdom
Hardcover. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: AwesomeBooks, Wallingford, United Kingdom
Hardcover. Condition: Very Good. Two-Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
£ 34.07
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by John Wiley & Sons Ltd, 1991
ISBN 10: 0471929808 ISBN 13: 9780471929802
Language: English
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
£ 38.55
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 56.03
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Hardcover. Condition: Brand New. 160 pages. 9.25x6.10x0.63 inches. In Stock.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Antiquariat Bernhardt, Kassel, Germany
£ 48.26
Convert currencyQuantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 34. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 299 Seiten, Englisch 710g.
Published by Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
£ 43.64
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New. 2007 ed. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
£ 65.02
Convert currencyQuantity: 4 available
Add to basketCondition: New.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
£ 73.14
Convert currencyQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Basi6 International, Irving, TX, U.S.A.
£ 73.14
Convert currencyQuantity: 1 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
£ 71.61
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 311 4 Illus.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Cambridge University Press CUP, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Books Puddle, New York, NY, U.S.A.
£ 74.18
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 311.
£ 70.10
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Language: English
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 80.32
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 311.
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
£ 66.86
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: New. In shrink wrap. Looks like an interesting title!
Published by Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 51.56
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by John Wiley & Sons Inc 0, 1880
ISBN 10: 0471929808 ISBN 13: 9780471929802
Language: English
Seller: dsmbooks, Liverpool, United Kingdom
paperback. Condition: Good. Good. book.