ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK
Building High Integrity Applications with SPARK
نویسنده: McCormick, John W.; Chapin, Peter C.
ناشر: Cambridge University Press
سال انتشار: 2015
تعداد صفحات: 383
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت