Matthieu Martel – författare
Visar alla böcker från författaren Matthieu Martel. Handla med fri frakt och snabb leverans.
4 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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the …
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Av Pavithra Prabhakar, Matthieu Martel m. fl.
E-bok, 2017
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the …
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Av Radhia Cousot, Matthieu Martel
Häftad, 2010
566 kr
Lägg i varukorg
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation …
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Av Matthieu Martel, Radhia Cousot
E-bok, 2010
755 kr
Lägg i varukorg
