Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo

Posted By: Free butterfly
Date: 4 Aug 2015 11:00:13
Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo
English | May 12, 1994 | ISBN: 0198538359 | 240 Pages | PDF | 6 MB

This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

-= My Blog! =-
Download NitroFlare
UPWARDS