Sandrine Blazy – författare

Visar alla böcker från författaren Sandrine Blazy.

3 produkter

1. 

   Verified Software. Theories, Tools, and Experiments

   8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

   Av Sandrine Blazy, Marsha Chechik

   Häftad, 2016

   739 kr

   Lägg i varukorg

2. 

   Interactive Theorem Proving

   4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

   Av Sandrine Blazy, Christine Paulin-Mohring m. fl.

   Häftad, 2013

   739 kr

   Lägg i varukorg

3. 

   Static Analysis

   22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

   Av Sandrine Blazy, Thomas Jensen

   Häftad, 2015

   739 kr

   Lägg i varukorg