Jasmin Christian Blanchette – författare

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

2 produkter

1. 

   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, 2015

   709 kr

   Lägg i varukorg

2. 

   Interactive Theorem Proving

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

   Av Jasmin Christian Blanchette, Stephan Merz

   Häftad, 2016

   739 kr

   Lägg i varukorg