Jasmin Christian Blanchette – författare
Visar alla böcker från författaren Jasmin Christian Blanchette.
2 produkter
2 produkter
Del 9154 - Lecture Notes in Computer Science
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Häftad, Engelska, 2015
689 kr
Skickas inom 10-15 vardagar
Del 9807 - Lecture Notes in Computer Science
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar