دانلود کتاب Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
by Benjamin WeiГџ|
|
عنوان فارسی: تایید قیاسی نرم افزار شی گرا: فریم های پویا، منطق پویا و انتزاع محمول |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟