Jasmin Christian Blanchette - Böcker

Visar alla böcker från författaren Jasmin Christian Blanchette.
2 produkter
Jasmin Christian Blanchette, Nikolai Kosmatov - Tests and Proofs, Häftad

Tests and Proofs

Av Jasmin Christian Blanchette, Nikolai Kosmatov

Häftad, Engelska, 2015

709 kr

Skickas inom 7-10 vardagar
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Jasmin Christian Blanchette, Stephan Merz

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar