Hoppa till sidans huvudinnehåll

Sandrine Blazy - Böcker

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

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

719 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

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

AvSandrine Blazy,Christine Paulin-Mohring m. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Static Analysis

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

AvSandrine Blazy,Thomas Jensen

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

S�mantiques Formelles

AvBlazy-S,BLAZY-S m. fl.

Häftad, Franska, 2018

889 kr

Skickas inom 5-8 vardagar