Yazar
Xavier Rival
4 cilt bulundu.
Cilt sonuçları
Static Analysis
Xavier Rival · Springer Berlin / Heidelberg
511 sayfa · 2016
Computer programming / Software engineering / Computer science
Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan, Xavier Rival · Springer
511 sayfa · 2014
Computer software / Congresses / Verification / Software engineering / Computer programs
Shape Analysis
Bor-Yuh Evan Chang, Cezara ăgoi, Roman Manevich, Noam Rinetzky, Xavier Rival · Now Publishers
Sayfa sayısı yok · 2020
Engineering