Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Punkt DPD 11.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computation and Reasoning

A Type Theory for Computer Science

Język AngielskiAngielski
Książka Twarda
Książka Computation and Reasoning Zhaohui Luo
Kod Libristo: 04527518
Wydawnictwo Oxford University Press, marzec 1994
The book develops a type theory, studies its properties, and explains its uses in applications to co... Cały opis
? points 314 b
Gwarancja
najlepszej
ceny ▸
564.62 zł
Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kagurabachi - Tome 6 Takeru HOKAZONO / Książka Książka
common.buy 41.01 zł
Linia oporu Dukaj Jacek / Książka Twarda
common.buy 50.56 zł
Neverte všetkému, čo si myslíte Joseph Nguyen / Książka Miękka
common.buy 44.43 zł
Jak nakreslit 100 manga ilustrací / Książka Miękka
common.buy 47.34 zł
Linguistik und Statistik Siegfried Jäger / Książka Miękka
common.buy 231.03 zł
Hollandische Liebhabereien Achim von Arnim / Książka Miękka
common.buy 35.58 zł
Lengua y Cultura - / Książka Miękka
common.buy 306.23 zł
caricatura. Da Leonardo a Picasso Werner Hofmann / Książka Twarda
common.buy 175.73 zł
Tanie
Moje pierwsze znaki drogowe Zofia Zabrzeska / Książka Miękka
common.buy 1.10 zł
Archivo histórico y biblioteca de la iglesia de Santa María de Alicante / Książka Miękka
common.buy 60.21 zł
Cimetieres autour du monde mohen jean-pierre / Książka Miękka
common.buy 98.92 zł
An Den Christlichen Adel Deutscher Nation Von Des Christlichen Standes Besserung (1884) Martin Luther / Książka Miękka
common.buy 107.37 zł
Bog krolewna i ksiezniczki Marek Dziewiecki / Książka Twarda
common.buy 23.92 zł
Subskr.-Pr. Frühe Gedichte Paul Celan / Książka Twarda
common.buy 284.58 zł
SOKO Kitzbühel, 2 DVDs. Staffel.12 Daniela Padalewski-Junek / Wideo DVD
common.buy 128.84 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computation and Reasoning
Autor Zhaohui Luo
Język Angielski
Oprawa Książka - Twarda
Data wydania 1994
Liczba stron 240
EAN 9780198538356
ISBN 0198538359
Kod Libristo 04527518
Wydawnictwo Oxford University Press
Waga 460
Wymiary 161 x 241 x 19

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Deviant Logic, Fuzzy Logic Susan Haack / Książka Miękka
common.buy 194.33 zł
Chicken & Eggs Mark Diacono / Książka Twarda
common.buy 90.28 zł
The Dollhouse WEST GRACE / Książka Twarda
common.buy 70.57 zł
TOP
You Gentiles Maurice Samuel / Książka Miękka
common.buy 98.02 zł
Crowdfunding in the Public Sector Regina Lenart-Gansiniec / Książka Miękka
common.buy 820.80 zł
Cradle of the Texas Republic Joy Montgomery / Książka Miękka
common.buy 82.43 zł
Eureka, an Exposition of the Apocalypse V2 John Thomas / Książka Miękka
common.buy 247.22 zł
Memoirs Of A General Count Rapp (1823) Jean Rapp / Książka Miękka
common.buy 171.11 zł
Zapowiedź
Dolly Parton Maria Isabel Sanchez Vegara / Książka Leporelo
common.buy 33.27 zł
Lorton Prison Project CAROLYN WILLIAMS / Książka Miękka
common.buy 95.20 zł
Wood Decay in Living and Dead Trees: A Pictorial Overview United States Department of Agriculture / Książka Miękka
common.buy 70.17 zł
Transit NILOOFAR FANAIYAN / Książka Miękka
common.buy 39.10 zł
Annual Report of [The] President Cornell University / Książka Twarda
common.buy 226.00 zł
Spaceships and Liquor Dayton Lummis / Książka Miękka
common.buy 83.44 zł
Philosophy of Logics Susan Haack / Książka Miękka
common.buy 161.76 zł
A Modern Perspective on Type Theory F. D. Kamareddine / Książka Miękka
common.buy 582.21 zł
Atonement of Blood (Sister Fidelma Mysteries Book 24) Peter Tremayne / Książka Miękka
common.buy 51.47 zł
SOA-Based Enterprise Integration: A Step-by-Step Guide to Services-based Application Waseem Roshen / Książka Twarda
common.buy 211.93 zł
Arithmetics M Hindry / Książka Miękka
common.buy 350.87 zł
Pharmacology of Alcohol and Alcohol Dependence Kissin Begleiter / Książka Twarda
common.buy 653.10 zł
From Empiricism to Expressivism Robert B. Brandom / Książka Twarda
common.buy 219.47 zł
Professor Charlotte Bronte / Książka Miękka
common.buy 68.74 zł
Advances in Fluvial Dynamics & Stratigraphy Carling / Książka Twarda
common.buy 1 760.14 zł
Technology and Naval Combat in the Twentieth Century and Beyond Phillips Payson O'Brien / Książka Miękka
common.buy 392.00 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?