Matthieu Martel – författare
Visar alla böcker från författaren Matthieu Martel.
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, 2017
739 kr
Lägg i varukorg
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Av Radhia Cousot, Matthieu Martel
Häftad, 2010
739 kr
Lägg i varukorg