Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Computation and Reasoning

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

A Type Theory for Computer Science

Zhaohui Luo

Lingua

Inglese

Libro Rigido

Codice Libristo: 04527518

Casa editrice Oxford University Press, marzo 1994

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

Codice Libristo: 04527518

194 b

79.19 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Linia oporu Dukaj Jacek

Rigido

10.29 €

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

In brossura

22.59 €

A tarot meséi Alison Davies

Carte

12.89 €

Linguistik und Statistik Siegfried Jäger

In brossura

52.49 €

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

In brossura

8.89 €

Kagurabachi - Tome 6 Takeru HOKAZONO

Libro

8.49 €

Hollandische Liebhabereien Achim von Arnim

In brossura

8.09 €

Lengua y Cultura -

In brossura

73.59 €

Moje pierwsze znaki drogowe Zofia Zabrzeska

In brossura

0.39 €

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

In brossura

12.49 €

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

In brossura

24.89 €

Bog krolewna i ksiezniczki Marek Dziewiecki

Rigido

4.19 €

Subskr.-Pr. Frühe Gedichte Paul Celan

Rigido

68.59 €

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.