Sandrine Blazy – författare

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

3 produkter

Kategorier

3 produkter

Del 9971
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
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
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