Jasmin Christian Blanchette

Visar alla böcker från författaren Jasmin Christian Blanchette. Handla med fri frakt och snabb leverans.

1. 

   Tests and Proofs

   2015

   • Häftad 553 kr
   • E-bok 672 kr
2. 

   Interactive Theorem Proving

   2016

   • Häftad 574 kr
   • E-bok 739 kr