This handbook volume covers fundamental topics of semantics 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.
Les mer
This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental topics of semantics in logic and computation.
This volume brings the reader the latest results and up-to-date and in-depth research - it is an indispensable reference source for workers in the field.
Les mer
1. Domain theory ; 2. Denotational semantics ; 3. Algebraic semantics ; 4. The semantics of types in programming languages
Third volume of a successful series.
Results of up-to-date and in-depth research.
Provides a comprehensive, standard-setting reference work.
Third volume of a successful series.
Results of up-to-date and in-depth research.
Provides a comprehensive, standard-setting reference work.
Produktdetaljer
ISBN
9780198537625
Publisert
1995
Utgiver
Vendor
Clarendon Press
Vekt
868 gr
Høyde
242 mm
Bredde
159 mm
Dybde
32 mm
Aldersnivå
P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
506