Sandrine Blazy - Böcker

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

4 produkter

Kategorier

4 produkter

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, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Sandrine Blazy, Thomas Jensen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

S�mantiques Formelles

Av Blazy-S, BLAZY-S m. fl

Häftad, Franska, 2018

919 kr

Skickas inom 7-10 vardagar