Computation and Reasoning - A Type Theory for Computer Science
by Zhaohui Luo
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Clarendon Press |
| Published In: | 31-Mar-1994 |
| ISBN-10: | 0198538359 |
| ISBN-13: | 9780198538356 |
| Binding Type: | Hardback |
| Weight: | 620 gms |
| Pages: | pp. 244, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L |
is written by Zhaohui Luo.