Xavier Rival - Böcker

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

3 produkter

Kategorier

3 produkter

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Av Kenneth McMillan, Xavier Rival m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Av Xavier Rival

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Introduction to Static Analysis

An Abstract Interpretation Perspective

Av Xavier Rival, Kwangkeun Yi m. fl

Inbunden, Engelska, 2020

1 679 kr

Slutsåld