Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computation and Reasoning

Name: Computation and Reasoning
Brand: Oxford University Press
SKU: 04527518
Price: 32462 HUF
Availability: InStock
Author: Zhaohui Luo
ISBN: 9780198538356

A Type Theory for Computer Science

Zhaohui Luo

Language

English

Book Hardback

Libristo code: 04527518

Publishers Oxford University Press, March 1994

The book develops a type theory, studies its properties, and explains its uses in applications to co... Full description

Libristo code: 04527518

223 b

32 462 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

„Abychom nebyli čtyřicátí na světě“ Vít Poláček

Paperback

8 850 Ft

Neverte všetkému, čo si myslíte Joseph Nguyen

Paperback

3 594 Ft

A tarot meséi Alison Davies

Hardback

6 146 Ft

Moje pierwsze znaki drogowe Zofia Zabrzeska

Paperback

220 Ft

Linia oporu Dukaj Jacek

Hardback

4 714 Ft

Kagurabachi - Tome 6 Takeru HOKAZONO

Book

3 755 Ft

Hollandische Liebhabereien Achim von Arnim

Paperback

3 144 Ft

Lengua y Cultura -

Paperback

27 105 Ft

Archivo histórico y biblioteca de la iglesia de Santa María de Alicante

Paperback

4 889 Ft

An Den Christlichen Adel Deutscher Nation Von Des Christlichen Standes Besserung (1884) Martin Luther

Paperback

9 125 Ft

Bog krolewna i ksiezniczki Marek Dziewiecki

Hardback

1 864 Ft

Subskr.-Pr. Frühe Gedichte Paul Celan

Hardback

25 329 Ft

Linguistik und Statistik Siegfried Jäger

Paperback

20 307 Ft

The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing the basic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs.