Model Checking Software
সংরক্ষণ করুন:
প্রধান লেখক: | Godefroid, Patrick |
---|---|
বিন্যাস: | গ্রন্থ |
ভাষা: | English |
প্রকাশিত: |
Springer Berlin Heidelberg
2020
|
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918 |
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
অনুরূপ উপাদানগুলি
-
Model Checking Software
অনুযায়ী: Bosnacki, Dragan, অন্যান্য
প্রকাশিত: (2020) -
Model Checking Software
প্রকাশিত: (2020) -
Models in Software Engineering
অনুযায়ী: Kühne, Thomas
প্রকাশিত: (2020) -
Handbook of Model Checking
অনুযায়ী: Clarke, Edmund M., অন্যান্য
প্রকাশিত: (2020) -
Model-Driven Software Development
অনুযায়ী: Beydeda, Sami, অন্যান্য
প্রকাশিত: (2020)