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

Inbunden, Engelska, 1995

Del i serien Handbook of Logic in Computer Science

7 222 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

Beskrivning

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 is indispensable to any serious worker in the areas.

Produktinformation

Utgivningsdatum:1995-05-04
Mått:161 x 241 x 40 mm
Vikt:1 115 g
Format:Inbunden
Språk:Engelska
Serie:Handbook of Logic in Computer Science
Antal sidor:666
Förlag:Clarendon Press
ISBN:9780198537809

Utforska kategorier

Innehållsförteckning

1. Models for concurrency ; 2. Concrete process alegbra ; 3. Correspondence between operational and denotational semantics: the full abstraction problem for PCF ; 4. Effective algebras ; 5. Abstract interpretation: a semantics based tool for program analysis