Proceedings of the 8th international SPIN workshop on Model checking of software
| অন্যান্য লেখক: | |
|---|---|
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Association for Computing Machinery (ACM),
5/2/01
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Full text available on Research4Life (ACM) |
| উপাদানের বিবরণ: | <strong>On-Campus Access Only (IP based access)</strong> |
|---|---|
| দৈহিক বর্ননা: | 1 online resource |
| বিন্যাস: | Mode of access: Internet |
| আইসবিএন: | 9783540421245 |
| প্রবেশাধিকার: | Electronic access restricted to authorized AUW faculty, staff and students |