خرید و دانلود نسخه کامل کتاب Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

تایید قیاسی نرم افزار شی گرا: فریم های پویا، منطق پویا و انتزاع محمول

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

نویسنده: Benjamin WeiГџ

ناشر: KIT Scientific Publishing

سال انتشار: 2011

تعداد صفحات: 294

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت