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

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

by Dov M. Gabbay (Author), Samson Abramsky (Author), T. S. Maibaum (Author)

Synopsis

This handbook 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. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.

$525.35

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 668
Edition: Illustrated
Publisher: OUP Oxford
Published: 04 May 1995

ISBN 10: 0198537808
ISBN 13: 9780198537809