طراحی صحیح سیستم: بینش و پیشرفت های اخیر
Correct System Design: Recent Insights and Advances
نویسنده: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1999
تعداد صفحات: 417
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت