Program Verification (International Computer Science Series)
Nissim, Francezقیمت نهایی
- تخفیف زماندار−۹٬۰۰۰ تومان
۹٬۰۰۰ تومان صرفهجویی نسبت به قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
نسخه اصلی و اورجینال
فایل دیجیتال کامل و بدون دستکاری — همان نسخهای که پس از خرید دریافت میکنید.
مشخصات کتاب
- نویسنده
- Nissim, Francez
- سال انتشار
- ۱۹۹۲
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۸٫۰ مگابایت
دربارهٔ کتاب
کتابهای مشابه
The Foundations Of Program Verification (series In Computer Science) (german Edition)
۴۹٬۰۰۰ تومان
The Specification of Computer Programs (International Computer Science Series)
۴۹٬۰۰۰ تومان
The Specification of Computer Programs (International Computer Science Series)
۴۹٬۰۰۰ تومان
Concurrent Programming (International Computer Science Series)
۴۹٬۰۰۰ تومان
Functional Programming (International Computer Science Series)
۴۹٬۰۰۰ تومان
Concurrent Programming (International Computer Science Series)
۴۹٬۰۰۰ تومان
برنامهنویسی همزمان (سری علوم کامپیوتر بینالمللی)
۴۹٬۰۰۰ تومان
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
۴۹٬۰۰۰ تومان
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
۴۹٬۰۰۰ تومان
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
۴۹٬۰۰۰ تومان
Elements Of Functional Programming (International Computer Science Series)
۴۹٬۰۰۰ تومان
Fortran 90 Programming (International Computer Science Series)
۴۹٬۰۰۰ تومان
قیمت نهایی
۴۰٬۰۰۰ تومان