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