Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Logic and Computation

Logic and Computation

- Interactive Proof with Cambridge LCF

av Lawrence C. (University of Cambridge) Paulson

del av Cambridge Tracts in Theoretical Computer Science-serien

Logic and Computation av Lawrence C. (University of Cambridge) Paulson
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521395601
  • Format:
  • Häftad
  • Sidor:
  • 320
  • Utgiven:
  • 26. juli 1990
  • Mått:
  • 187x247x19 mm.
  • Vikt:
  • 574 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Om Lawrence C. (University of Cambridge) Paulson

Se alla böcker av Lawrence C. (University of Cambridge) Paulson

Beskrivning av 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.

Användarnas betyg av Logic and Computation



Andra köpte även...
Hitta liknande böcker
Boken Logic and Computation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.