Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04527518

Verlag Oxford University Press, März 1994

The book develops a type theory, studies its properties, and explains its uses in applications to co... Vollständige Beschreibung

Libristo-Code: 04527518

233 b

95.09 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

26.29 €

Jak nakreslit 100 manga ilustrací

Broschur

11.39 €

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

Broschur

10.79 €

A tarot meséi Alison Davies

Hardcover

16.49 €

Moje pierwsze znaki drogowe Zofia Zabrzeska

Broschur

0.69 €

Linia oporu Dukaj Jacek

Hardcover

13.99 €

Kagurabachi - Tome 6 Takeru HOKAZONO

Buch

10.89 €

Hollandische Liebhabereien Achim von Arnim

Broschur

8.90 €

Lengua y Cultura -

Broschur

73.59 €

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

Broschur

14.39 €

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

Broschur

24.89 €

Bog krolewna i ksiezniczki Marek Dziewiecki

Hardcover

5.59 €

Subskr.-Pr. Frühe Gedichte Paul Celan

Hardcover

78.00 €

Linguistik und Statistik Siegfried Jäger

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computation and Reasoning

Autor Zhaohui Luo

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1994

Anzahl der Seiten 240

EAN 9780198538356

ISBN 0198538359

Libristo-Code 04527518

Verlag Oxford University Press

Gewicht 460

Abmessungen 161 x 241 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert