Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijsقیمت نهایی
نسخه اصلی و اورجینال
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Marieke Huisman, Anton Wijs
- سال انتشار
- ۲۰۲۳
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۹٫۱ مگابایت
- شابک
- 9783031301667، 9783031301674، 3031301668، 3031301676
دربارهٔ کتاب
کتاب «Concise Guide to Software Verification : From Model Checking to Annotation Checking» نوشتهٔ Marieke Huisman, Anton Wijs است که توسط انتشارات Springer International Publishing AG در سال ۲۰۲۳ منتشر شده است. نسخهٔ دیجیتال این کتاب به زبان انگلیسی، با فرمت PDF، با حجم ۹٫۱ مگابایت در بلیان موجود است. این نسخه، نسخهٔ اصلی (اورجینال) و کامل کتاب است و در صورت نیاز، امکان تبدیل به فرمتهای دیگر و ارسال آن برای شما وجود دارد. میتوانید آن را خریداری کرده و بلافاصله دانلود کنید.
کتابهای مشابه
Concise Guide to Software Verification : From Model Checking to Annotation Checking
۴۹٬۰۰۰ تومان
Concise Guide to Software Verification : From Model Checking to Annotation Checking
۴۹٬۰۰۰ تومان
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
۴۹٬۰۰۰ تومان
Systems and Software Verification : Model-Checking Techniques and Tools
۴۹٬۰۰۰ تومان
Systems and Software Verification : Model-Checking Techniques and Tools
۴۹٬۰۰۰ تومان
Systems and Software Verification : Model-Checking Techniques and Tools
۴۹٬۰۰۰ تومان
Systems and Software Verification : Model-Checking Techniques and Tools
۴۹٬۰۰۰ تومان
Concise Guide to Software Engineering : From Fundamentals to Application Methods
۴۹٬۰۰۰ تومان
Concise Guide to Software Engineering : From Fundamentals to Application Methods
۴۹٬۰۰۰ تومان
Concise Guide to Software Engineering : From Fundamentals to Application Methods
۴۹٬۰۰۰ تومان
Challenges of Software Verification
۴۹٬۰۰۰ تومان
Modeling and Verification of Real-time Systems : Formalisms and Software Tools
۴۹٬۰۰۰ تومان
قیمت نهایی
۴۹٬۰۰۰ تومان