Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover) Loot Price: R12,344

Discovery Miles 123 440

Repayment Terms: R1,157 pm x 12*

Add to cart

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover): S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum

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

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

Series: Handbook of Logic in Computer Science

(sign in to rate)

Loot Price R12,344 Discovery Miles 123 440 | Repayment Terms: R1,157 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Handbook of Logic in Computer Science
Release date:	May 1995
First published:	May 1995
Editors:	S. Abramsky (Professor, Department of Computing) • Dov M. Gabbay (Professor of Computing Science, Department of Computing) • T.S.E. Maibaum (Professor of Foundations of Software Engineering)
Dimensions:	241 x 161 x 40mm (L x W x T)
Format:	Hardcover
Pages:	666
ISBN-13:	978-0-19-853780-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Computer software packages > Computer graphics software > General Promotions
LSN:	0-19-853780-8
Barcode:	9780198537809