Handbook of Logic in Computer Science: Volume 4. Semantic Modelling by S. AbramskyHandbook of Logic in Computer Science: Volume 4. Semantic Modelling by S. Abramsky

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

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

Hardcover | May 1, 1995

Pricing and Purchase Info

$420.00 online 
$840.00 list price save 50%
Earn 2100 plum® points
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Loading
Title:Handbook of Logic in Computer Science: Volume 4. Semantic ModellingFormat: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:

Reviews

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