Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Hardcover | May 1, 1995

EditorS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

not yet rated|write a review
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.

Pricing and Purchase Info

$550.90 online
$840.00 list price (save 34%)
Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

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.

S. Abramsky, Dov M. Gabbay, and T. S.E. Maibaum are all at the Imperial College of Science, Technology and Medicine, University of London.

other books by S. Abramsky

The House Of Twenty Thousand Books
The House Of Twenty Thousand Books

Hardcover|Sep 1 2015

$26.50 online$35.95list price(save 26%)
Dependence Logic: Theory and Applications
Dependence Logic: Theory and Applications

Kobo ebook|Jun 29 2016

$95.79 online$124.33list price(save 22%)
see all books by S. Abramsky
Format:HardcoverDimensions:666 pages, 9.21 × 6.14 × 1.57 inPublished:May 1, 1995Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198537808

ISBN - 13:9780198537809

Look for similar items by category:

Customer Reviews of Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Reviews

Extra Content

Table of Contents

1. Models for concurrency2. Concrete process alegbra3. Correspondence between operational and denotational semantics: the full abstraction problem for PCF4. Effective algebras5. Abstract interpretation: a semantics based tool for program analysis