Xavier Rival - Böcker

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

4 produkter

Böcker

4 produkter

Xavier Rival, Kwangkeun Yi, INRIA Paris-Rocquencourt) Rival, Xavier (Research Director, Seoul National University) Yi, Kwangkeun (Professor - Introduction to Static Analysis, Inbunden

Introduction to Static Analysis

Av Xavier Rival, Kwangkeun Yi, INRIA Paris-Rocquencourt) Rival, Xavier (Research Director, Seoul National University) Yi, Kwangkeun (Professor

Inbunden, Engelska, 2020

1 519 kr

Slutsåld

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival, Cezara Drăgoi, Dr& - Shape Analysis, Häftad

Shape Analysis

Av Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival, Cezara Drăgoi, Dr&

Häftad, Engelska, 2020

2 009 kr

Slutsåld

Kenneth McMillan, Xavier Rival - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Kenneth McMillan, Xavier Rival

Häftad, Engelska, 2014

729 kr

Skickas inom 7-10 vardagar

Xavier Rival - Static Analysis, Häftad

Static Analysis

Av Xavier Rival

Häftad, Engelska, 2016

729 kr

Skickas inom 7-10 vardagar