Sandrine Blazy

Visar alla böcker från författaren Sandrine Blazy. Handla med fri frakt och snabb leverans.

1. 

   Verified Software. Theories, Tools, and Experiments

   2016

   • Häftad 576 kr
   • E-bok 732 kr
2. 

   Interactive Theorem Proving

   2013

   • Häftad 576 kr
3. 

   Static Analysis

   2015

   • Häftad 576 kr
   • E-bok 755 kr
4. 

   Interactive Theorem Proving

   2013

   • E-bok 739 kr