Name: Logic and Computation
Price: 654.95 DKK
Availability: InStock
Author: Lawrence C. (University of Cambridge) Paulson
ISBN: 9780521395601

Logic and Computation af Lawrence C. (University of Cambridge) Paulson

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
654,95 kr.

Bag om Logic and Computation

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Vis mere

Sprog:
Engelsk

ISBN:
9780521395601

Forlag:
Cambridge University Press

Indbinding:
Paperback

Sideantal:
320

Udgivet:
26. juli 1990

Størrelse:
187x247x19 mm.

Vægt:
574 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

På lager

Normalpris

654,95 kr. + Fragt
~~654,95 kr.~~

Medlemspris

604,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Lawrence C. (University of Cambridge) Paulson

Vis alle bøger af Lawrence C. (University of Cambridge) Paulson

Beskrivelse af Logic and Computation

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Brugerbedømmelser af Logic and Computation

Andre købte også..

Find lignende bøger

Bogen Logic and Computation findes i følgende kategorier:

Business og læring > Computer og IT

Logic and Computation - Lawrence C. (University of Cambridge) Paulson - Bog

Bag om Lawrence C. (University of Cambridge) Paulson

Beskrivelse af Logic and Computation

Brugerbedømmelser af Logic and Computation

Gør som tusindvis af andre bogelskere