Engineering Methods and Tools for Software Safety and Security

Autor:	M. Broy, W. Sitou, T. Hoare
Předmět:	Computer security--Congresses, Software engineering--Congresses
Kategorie:	COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General
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:	Zobrazit plný text záznamu