دانلود کتاب روشهای رسمی و توسعه نرمافزار: مجموعه مقالات کنفرانس بینالمللی مشترک تئوری و عمل توسعه نرمافزار (TAPSOFT) برلین، 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
نویسندگان : Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1985
تعداد صفحات : 468
ISBN (شابک) : 3540151990 , 9783540151999
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.