Matthieu Martel – författare

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

2 produkter

Kategorier

2 produkter

Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
AvSergiy Bogomolov,Matthieu Martelm. 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
AvRadhia Cousot,Matthieu Martel
Häftad, Engelska, 2010
729 kr
Skickas inom 10-15 vardagar