BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Julien Bertrane

1 cilt bulundu.

Cilt sonuçları

StaticsStatic Analysis and Verification of Aerospace Software by Abstract InterpretationJulien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne

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