Leveraging applications of formal methods, verification and validation. Applications and case studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. <br>The two volumes contain papers presented in...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
| ভাষা: | English |
| প্রকাশিত: |
Berlin, Heidelberg
Imprint: Springer
2012.
|
| মালা: | Lecture Notes in Computer Science
7610 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Click here to view the full text content |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|