Lawrence C. (University of Cambridge) Paulson Forfatter

Visning: Type : Bog | Sprog : Engelsk | Format : Alle Der vises kun bøger på engelsk

• 

  PRIS

  638,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Logic and Computation: Interactive Proof with Cambridge LCF (Bog, Paperback / softback, Engelsk)

  Af: Lawrence C. (University of Cambridge) Paulson

  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.

  PRIS

  638,- kr

  FRAGT FRA 39,-

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv