Specification of software systems
Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understandin...
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Electronic Resource |
| اللغة: | English |
| منشور في: |
London
Springer
c2011.
|
| الطبعة: | 2nd ed. |
| سلاسل: | Texts in computer science.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |