ผู้เขียน: Matthieu Martel

สนับสนุน

2 หนังสืออิเล็กทรอนิกส์โดย Matthieu Martel

Sergiy Bogomolov & Matthieu Martel: Numerical Software Verification
This book constitutes the refereed proceedings of the 9th International Workshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 – colocated with CAV 2016, the …
EPUB
อังกฤษ
DRM
€57.19
Radhia Cousot & Matthieu Martel: Static Analysis
PDF
อังกฤษ
DRM
€57.74