Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Computation and Reasoning

Name: Computation and Reasoning
Brand: Oxford University Press
SKU: 04527518
Price: 95.09 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

233 b

95.09 €

Magazzino esterno Inviamo tra 10-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

26.29 €

Jak nakreslit 100 manga ilustrací

In brossura

11.39 €

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

In brossura

10.79 €

A tarot meséi Alison Davies

Rigido

16.49 €

Moje pierwsze znaki drogowe Zofia Zabrzeska

In brossura

0.69 €

Linia oporu Dukaj Jacek

Rigido

13.99 €

Kagurabachi - Tome 6 Takeru HOKAZONO

Libro

10.89 €

Hollandische Liebhabereien Achim von Arnim

In brossura

8.49 €

Lengua y Cultura -

In brossura

73.59 €

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

In brossura

13.79 €

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

5.59 €

Subskr.-Pr. Frühe Gedichte Paul Celan

Rigido

68.59 €

Linguistik und Statistik Siegfried Jäger

In brossura

55.29 €

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.