rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9780198537809

Handbook of Logic in Computer Science Volume 4: Semantic Modelling

by ; ;
  • ISBN13:

    9780198537809

  • ISBN10:

    0198537808

  • Format: Hardcover
  • Copyright: 1995-06-15
  • Publisher: Clarendon Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $555.32 Save up to $159.65
  • Rent Book $395.67
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Handbook of Logic in Computer Science Volume 4: Semantic Modelling [ISBN: 9780198537809] for the semester, quarter, and short term or search our site for other textbooks by Abramsky, S.; Gabbay, Dov M.; Maibaum, T. S. E.. Renting a textbook can save you up to 90% from the cost of buying.

Summary

This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and isindispensable to any serious worker in the areas.

Table of Contents

List of contributors
Models for concurrencyp. 1
Concrete process algebrap. 149
Correspondence between operational and denotational semantics: the full abstraction problem for PCFp. 270
Effective algebrasp. 357
Abstract interpretation: a semantics-based tool for program analysisp. 527
Indexp. 637
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program