Yazar
Patrick Cousot
5 cilt bulundu.
Cilt sonuçları
Static Analysis
Patrick Cousot · Springer London, Limited
450 sayfa · 2001
Computer programming / Congresses / Programming languages (Electronic computers)
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