Computation and ReasoningAuthor :
Hardback
Published : Thursday 31 March 1994
Description
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.
You may also like ...
by
Hardback
05 Mar 2021
Language teaching and learning
€162.57
Extended stock – Dispatch 5-7 days
by
Hardback
31 Mar 1994
Computer programming / software engineering
€97.11
Extended stock – Dispatch 5-7 days
by
Paperback
22 Feb 2024
Energy technology and engineering
€126.36
Extended stock – Dispatch 5-7 days
by
Paperback
06 Feb 2024
Economics
€29.25
Extended stock – Dispatch 5-7 days
Reviews