انتزاعات نرم افزار: منطق ، زبان و تحلیل
Software Abstractions: Logic, Language, and Analysis
نویسنده: Daniel Jackson
ناشر: The MIT Press
سال انتشار: 2006
تعداد صفحات: 369
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت
توضیحی برای این کتاب ثبت نشده است.