Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

دانلود کتاب Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

29000 تومان موجود

کتاب روش‌های رسمی و توسعه نرم‌افزار: مجموعه مقالات کنفرانس بین‌المللی مشترک تئوری و عمل توسعه نرم‌افزار (TAPSOFT) برلین، 25 تا 29 مارس 1985 نسخه زبان اصلی

دانلود کتاب روش‌های رسمی و توسعه نرم‌افزار: مجموعه مقالات کنفرانس بین‌المللی مشترک تئوری و عمل توسعه نرم‌افزار (TAPSOFT) برلین، 25 تا 29 مارس 1985 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 3


توضیحاتی در مورد کتاب Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

نام کتاب : Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های رسمی و توسعه نرم‌افزار: مجموعه مقالات کنفرانس بین‌المللی مشترک تئوری و عمل توسعه نرم‌افزار (TAPSOFT) برلین، 25 تا 29 مارس 1985
سری : Lecture Notes in Computer Science 186
نویسندگان : , , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1985
تعداد صفحات : 468
ISBN (شابک) : 3540151990 , 9783540151999
زبان کتاب : English
فرمت کتاب : djvu    درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.






پست ها تصادفی