Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Computation and Reasoning
PreviewsReadr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
This book focuses specifically on how to study the theory of types may offer a strong and uniform language for programming, program specification and development, and logical reasoning. Practical Use of language is illustrated by developing approaches to repair specifications and data in type theory, which supports the modular development of specifications, programs, and evidence.
Computer eBook Details
- ISBN-10: 0198538359
- ISBN-13: 9780198538356
- Publisher: Oxford University Press
- Pages: 240
- Date: May 1994