Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Omri Isac (editor), Radoslav Ivanov (editor), Guy Katz (editor), Nina Narodytska (editor), Laura Nenzi (editor)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۲۲
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۴٫۵ مگابایت
- شابک
- 9783031212215، 9783031212222، 3031212215، 3031212223
کتابهای مشابه
Software Verification (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science (1287))
۴۹٬۰۰۰ تومان
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
۴۹٬۰۰۰ تومان
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science (1322))
۴۹٬۰۰۰ تومان
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science (1322))
۴۹٬۰۰۰ تومان
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science (1322))
۴۹٬۰۰۰ تومان
Formal Verification of Control Systems Software
۴۹٬۰۰۰ تومان
Software Engineering for Collective Autonomic Systems: The ASCENS Approach (Lecture Notes in Computer Science, 8998)
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification
۴۹٬۰۰۰ تومان
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان