Sandrine Blazy - Böcker
Visar alla böcker från författaren Sandrine Blazy.
3 produkter
3 produkter
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
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
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
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar