Načítá se...
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...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Livro |
| Jazyk: | Inglês |
| Vydáno: |
Springer London,
2011
|
| Vydání: | 2nd ed. 2011. |
| Edice: | Texts in computer science |
| Témata: | |
| On-line přístup: | https://minerva.ufrj.br/F/?func=direct&doc_number=000917514&local_base=UFR01 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|