Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic and Computation

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

Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02029497

Nakladateľstvo Cambridge University Press, júl 1990

This book is concerned with techniques for formal theorem-proving, with particular reference to Camb... Celý popis

Libristo kód: 02029497

168 b

69.57 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

11.23 €

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

MP3

6.37 €

Morphologie der Familiennamen Fabian Fahlbusch

Pevná

478.25 €

Frankenstein Mary Shelley

Brožovaná

11.03 €

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

Brožovaná

25.11 €

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

Brožovaná

28.86 €

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

Brožovaná

69.37 €

SchärenSegeln Claus Aktoprak

Brožovaná

22.47 €

Premeny Slovenska Ján Viazanička

Brožovaná

14.68 €

p dagogische Fachkraft und Professionalit t Marcus Damm

Pevná

57.11 €

Die Satanischen Essays Anton Sz. LaVey

Pevná

26.93 €

Gespräche mit Erzengel Michael. Bd.5 atara

Brožovaná

15.28 €

Contes rapides François Coppée

Brožovaná

13.56 €

Jenseits der Flammen Reinhart Brandau

Brožovaná

6.67 €

Schulische Mehrsprachigkeitsfoerderung in Schweden und Deutschland Kevin Niehaus

Brožovaná

35.74 €

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

Brožovaná

67.55 €

Wohin mit meiner Wut? Dagmar Geisler

Pevná

12.65 €

Angststoerungen im jungeren Schulalter und Moeglichkeiten einer schulischen Intervention Steffanie Rosenhahn

Brožovaná

16.20 €

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.