دانلود کتاب Building High Integrity Applications with SPARK

توضیحاتی در مورد کتاب Building High Integrity Applications with SPARK

نام کتاب : Building High Integrity Applications with SPARK
عنوان ترجمه شده به فارسی : ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK
سری :
نویسندگان : John W Mccormick
ناشر : Cambridge University Press
سال نشر : 2015
تعداد صفحات : 639
ISBN (شابک) : 1107656842 , 9781107656840
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت