Xavier Rival

Popular items by Xavier Rival

View all offers

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Item prices starting from

US$ 61.17

View 1 offer

Also find
New
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Programming and Software Engineering)

Item prices starting from

US$ 62.33

View 6 offers

Also find
New, Used