Computation and Reasoning : A Type Theory for Computer Science

Name: Computation and Reasoning
Brand: Oxford University Press
SKU: 9780198538356
Price: 17600 KES
Availability: OutOfStock
ISBN: 9780198538356

by Zhaohui Luo

Book Details

Format Hardback

Book Series International Series of Monographs on Computer Science

ISBN-10 0198538359

ISBN-13 9780198538356

Publisher Oxford University Press

Imprint Clarendon Press

Country of Manufacture GB

Country of Publication GB

Publication Date Mar 31st, 1994

Print length 240 Pages

Weight 460 grams

Dimensions 24.10 x 16.10 x 1.90 cms

Product Classification: Computer programming / software development Mathematical theory of computation

KSh 17,600.00

Temporarily out of stock, due soon 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing the basic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs.

Get Computation and Reasoning by Zhaohui Luo at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has 240 pages.