Hoppa till sidans huvudinnehåll

Sandrine Blazy – författare

Visar alla böcker från författaren Sandrine Blazy.
3 produkter
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments, Häftad
Del 9971 - Lecture Notes in Computer Science

Verified Software. Theories, Tools, and Experiments

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

AvSandrine Blazy,Marsha Chechik

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

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

AvSandrine Blazy,Christine Paulin-Mohringm. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Sandrine Blazy, Thomas Jensen - Static Analysis, Häftad

Static Analysis

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

AvSandrine Blazy,Thomas Jensen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar