Корично изображение Електронна книга

Engineering methods and tools for software safety and security /

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...

Пълно описание

Автор-организации: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany)
Други автори: Broy, M., 1949-, Sitou, Wassiou., Hoare, C. A. R. 1934-
Формат: Електронна книга
Език: English
Публикувано: Amsterdam, Netherlands ; Washington, DC : IOS Press, ℗♭2009.
Серия: NATO science for peace and security series. Information and communication security ; v. 22.
Предмети:
Software engineering > Congresses.
Computer security > Congresses.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Computer security.
Software engineering.
Electronic books.
Conference papers and proceedings.
Онлайн достъп: http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281426
Подобни документи: Print version:: Engineering methods and tools for software safety and security.
Онлайн достъп от Библиотека ”Паница” на Американския университет в България:

http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281426
Провери в Paniza Library, AUBG Сигнатура: QA76.758 .N3846 2008eb

Подобни библ. документи