Metamath: A Computer Language for Mathematical Proofs

AvNorman Megill,David A. Wheeler

Inbunden, Engelska, 2019

488 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

David A. Wheeler - Ada 95, E-bok

Ada 95

David A. Wheeler

E-bok
2012

734 kr

David A. Wheeler - Ada 95, Häftad

Ada 95

David A. Wheeler

Häftad, 2012

559 kr

Stine Bolther, Line Holm, Jussi Adler-Olsen - Döda själar sjunger inte, Pocket
  • 4 för 3
Del 11

Döda själar sjunger inte

Stine Bolther, Line Holm, Jussi Adler-Olsen

Pocket, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(13)

69 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(21)

209 kr259 kr