Matthieu Martel - Böcker

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

2 produkter

Kategorier

2 produkter

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Av Sergiy Bogomolov, Matthieu Martel m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Static Analysis

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Av Radhia Cousot, Matthieu Martel

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar