Software Verification (Lecture Notes in Computer Science)
Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)
- سال انتشار
- ۲۰۲۲
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۹٫۶ مگابایت
کتابهای مشابه
Compiler Specification And Verification (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Compiler Specification And Verification (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Lectures on Proof Verification and Approximation Algorithms (Lecture Notes in Computer Science (1367))
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Reflection and Software Engineering (Lecture Notes in Computer Science, 1826)
۴۹٬۰۰۰ تومان
Reflection and Software Engineering (Lecture Notes in Computer Science, 1826)
۴۹٬۰۰۰ تومان
Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science Book 10001)
۴۹٬۰۰۰ تومان
A Survey Of Verification Techniques For Parallel Programs - Lecture Notes In Computer Science 191
۴۹٬۰۰۰ تومان
A Survey Of Verification Techniques For Parallel Programs - Lecture Notes In Computer Science 191
۴۹٬۰۰۰ تومان
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان