Engineering Methods and Tools for Software Safety and Security
Autor: | M. Broy, W. Sitou, T. Hoare |
---|---|
Předmět: | |
Kategorie: | |
Popis: | Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. |
Databáze: | eBook Collection (EBSCOhost) |
Externí odkaz: |