The Correctness-by-Construction Approach to Programming
Derrick G. Kourie, Bruce W. Watson (auth.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۱۲
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱٫۸ مگابایت
- شابک
- 9781280793318، 9783642279188، 9783642279195، 9783642448546، 9786613703705، 1280793317، 364227918X، 3642279198، 3642448542، 6613703702
کتابهای مشابه
The Correctness-by-Construction Approach to Programming
۳۶٬۰۰۰ تومان
The Correctness-by-Construction Approach to Programming
۳۶٬۰۰۰ تومان
The correctness-by-construction approach to programming
۳۶٬۰۰۰ تومان
The Correctness-by-Construction Approach to Programming
۳۶٬۰۰۰ تومان
Correct-by-Construction Approaches for SoC Design
۳۶٬۰۰۰ تومان
Readings on Correctional Programming : Needs, Interventions, and Approaches
۳۶٬۰۰۰ تومان
The Correctional Program
۳۶٬۰۰۰ تومان
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
۳۶٬۰۰۰ تومان
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
۳۶٬۰۰۰ تومان
Constructing Correct Software : The Basics
۳۶٬۰۰۰ تومان
Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
۳۶٬۰۰۰ تومان
Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
۳۶٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان