Gerwin Klein - Böcker

Visar alla böcker från författaren Gerwin Klein.
3 produkter
Gerwin Klein, Ruben Gamboa - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Gerwin Klein, Ruben Gamboa

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Tobias Nipkow, Gerwin Klein - Concrete Semantics, Inbunden

Concrete Semantics

Av Tobias Nipkow, Gerwin Klein

Inbunden, Engelska, 2014

1 099 kr

Skickas inom 7-10 vardagar
Tobias Nipkow, Gerwin Klein - Concrete Semantics, Häftad

Concrete Semantics

Av Tobias Nipkow, Gerwin Klein

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar