Hoppa till sidans huvudinnehåll

Metamath: A Computer Language for Mathematical Proofs

Inbunden, Engelska, 2019

AvNorman Megill,David A. Wheeler

609 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


Produktinformation

  • Utgivningsdatum2019-06-06
  • Mått152 x 229 x 18 mm
  • Vikt515 g
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor248
  • FörlagLulu.com
  • ISBN9780359702237

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

David A. Wheeler - Ada 95, Häftad

Ada 95

David A. Wheeler

Häftad, 2012

739 kr

Elsa Swärd, Cornelia Swärd - Rovdrift, Pocket
  • Nyhet
Del 1

Rovdrift

Elsa Swärd, Cornelia Swärd

Pocket, 2026

79 kr129 kr