Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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 :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Logic and Computation

Name: Logic and Computation
Brand: Cambridge University Press
SKU: 02029497
Price: 75.39 EUR
Availability: InStock
Author: Lawrence C. Paulson
ISBN: 9780521395601

Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Sprache

Englisch

Buch Broschur

Libristo-Code: 02029497

Verlag Cambridge University Press, Juli 1990

This book is concerned with techniques for formal theorem-proving, with particular reference to Camb... Vollständige Beschreibung

Libristo-Code: 02029497

185 b

75.39 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

El proletario en Espa?a y el negro en Cuba Ramon J Espinosa

Broschur

12.29 €

Karlek och stalull: om att vaxa upp med en utvecklingsstord mamma Pipping

MP3

6.59 €

Morphologie der Familiennamen Fabian Fahlbusch

Hardcover

519.49 €

Frankenstein Mary Shelley

Broschur

11.49 €

Fille Aux Bluets. Un Paysan de l'Ancien Regime D Hericault-C

Broschur

27.09 €

3000 Japanese Vocabulary Words for the JLPT Level 1 (Trilingue Japonais- Anglais- Chinois) ARK ACADEMY

Broschur

31.29 €

Technologische Spillover-Effekte als Determinanten des Wirtschaftswachstums. Jürgen Bitzer

Broschur

71.89 €

SchärenSegeln Claus Aktoprak

Broschur

24.95 €

Premeny Slovenska Ján Viazanička

Broschur

19.09 €

p dagogische Fachkraft und Professionalit t Marcus Damm

Hardcover

62.19 €

Die Satanischen Essays Anton Sz. LaVey

Hardcover

30.00 €

Gespräche mit Erzengel Michael. Bd.5 atara

Broschur

18.00 €

Contes rapides François Coppée

Broschur

14.09 €

Jenseits der Flammen Reinhart Brandau

Broschur

6.89 €

Schulische Mehrsprachigkeitsfoerderung in Schweden und Deutschland Kevin Niehaus

Broschur

39.99 €

Effiziente Rekonstruktion Und Alternative Spulentopologien F r Magnetic-Particle-Imaging Tobias Knopp

Broschur

70.29 €

Wohin mit meiner Wut? Dagmar Geisler

Hardcover

13.95 €

Angststoerungen im jungeren Schulalter und Moeglichkeiten einer schulischen Intervention Steffanie Rosenhahn

Broschur

17.95 €

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

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 Logic and Computation

Autor Lawrence C. Paulson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1990

Anzahl der Seiten 320

EAN 9780521395601

ISBN 0521395607

Libristo-Code 02029497

Verlag Cambridge University Press

Gewicht 574

Abmessungen 187 x 247 x 19

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerhardware > Mainframes und Minicomputer

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > IT-Zertifizierung

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