Jasmin Christian Blanchette - Böcker

Visar alla böcker från författaren Jasmin Christian Blanchette.

2 produkter

Kategorier

2 produkter

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Av Jasmin Christian Blanchette, Nikolai Kosmatov

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Av Jasmin Christian Blanchette, Stephan Merz

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar