Yazar
Radhia Cousot
3 cilt bulundu.
Cilt sonuçları
Static Analysis
Radhia Cousot · Springer
505 sayfa · 2003
Computer programming / Congresses / Programming languages (Electronic computers)
Verification, Model Checking, and Abstract Interpretation
Radhia Cousot · Springer London, Limited
483 sayfa · 2005
Vérification / Congresses / Verification / Logiciels / Computer programs
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne · Now Publishers
Sayfa sayısı yok · 2015
Aerospace industries / Computer programs / Statics