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.

Logic and Computation

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

Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Limba

engleză

Carte Carte broșată

Codul Libristo: 02029497

Editura Cambridge University Press, iulie 1990

This book is concerned with techniques for formal theorem-proving, with particular reference to Camb... Descrierea completă

Codul Libristo: 02029497

184 b

400.54 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

65.15 lei

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

MP3

33.46 lei

Morphologie der Familiennamen Fabian Fahlbusch

Copertă tare

2 509.31 lei

Frankenstein Mary Shelley

Carte broșată

60.98 lei

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

Carte broșată

144.17 lei

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

Carte broșată

166.07 lei

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

Carte broșată

363.84 lei

SchärenSegeln Claus Aktoprak

Carte broșată

124.57 lei

Premeny Slovenska Ján Viazanička

Carte broșată

96.43 lei

p dagogische Fachkraft und Professionalit t Marcus Damm

Copertă tare

330.48 lei

Die Satanischen Essays Anton Sz. LaVey

Copertă tare

149.60 lei

Gespräche mit Erzengel Michael. Bd.5 atara

Carte broșată

85.27 lei

Contes rapides François Coppée

Carte broșată

75.16 lei

Jenseits der Flammen Reinhart Brandau

Carte broșată

36.69 lei

Schulische Mehrsprachigkeitsfoerderung in Schweden und Deutschland Kevin Niehaus

Carte broșată

198.91 lei

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

Carte broșată

373.64 lei

Wohin mit meiner Wut? Dagmar Geisler

Copertă tare

70.36 lei

Angststoerungen im jungeren Schulalter und Moeglichkeiten einer schulischen Intervention Steffanie Rosenhahn

Carte broșată

89.86 lei

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.