Werezi Books
Cart 0
Computation and Reasoning
Click to zoom

Share this book

Computation and Reasoning : A Type Theory for Computer Science

by Zhaohui Luo

Book Details

Format Hardback or Cased Book
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
Manufactured on Demand Delivery in 29 days

Delivery Location

Delivery fee: Select location

Delivery in 29 days

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 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 pages.

Mind, Body, & Spirit

The Mamba Mentality

The Mamba Mentality

Price

Ksh 16,350.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.