Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Computation and Reasoning

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

A Type Theory for Computer Science

Zhaohui Luo

Limba

engleză

Carte Copertă tare

Codul Libristo: 04527518

Editura Oxford University Press, martie 1994

The book develops a type theory, studies its properties, and explains its uses in applications to co... Descrierea completă

Codul Libristo: 04527518

213 b

461.39 lei

În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

131.49 lei

Jak nakreslit 100 manga ilustrací

Carte broșată

56.91 lei

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

Carte broșată

53.38 lei

A tarot meséi Alison Davies

Copertă tare

82.36 lei

Moje pierwsze znaki drogowe Zofia Zabrzeska

Carte broșată

3.21 lei

Linia oporu Dukaj Jacek

Copertă tare

70.10 lei

Kagurabachi - Tome 6 Takeru HOKAZONO

Carte

55.35 lei

Hollandische Liebhabereien Achim von Arnim

Carte broșată

45.17 lei

Lengua y Cultura -

Carte broșată

389.82 lei

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

Carte broșată

73.11 lei

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

Carte broșată

131.91 lei

Bog krolewna i ksiezniczki Marek Dziewiecki

Copertă tare

27.72 lei

Subskr.-Pr. Frühe Gedichte Paul Celan

Copertă tare

363.44 lei

Linguistik und Statistik Siegfried Jäger

Carte broșată

292.70 lei

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.