Computation and Reasoning

Name: Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo
Brand: ‎ Clarendon Pr
SKU: 9780198538356
Price: 4079.00 INR
Availability: InStock

A Type Theory for Computer Science by Zhaohui Luo

by Zhaohui Luo

‎ Clarendon Pr · 1994

₹4,079

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by ‎ Clarendon Pr in 1994, Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo by Zhaohui Luo runs to 228 pages. The book is part of the International series of monographs on computer science series.

The book deals with Computer science.