خرید و دانلود نسخه کامل کتاب Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

برنامه نویسی با مشخصات: مقدمه ای بر ANNA ، زبانی برای تعیین برنامه های Ada

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

نویسنده: David Luckham

ناشر: Springer US

سال انتشار: 1990

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

زبان: English

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

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