Engineering Methods and Tools for
Software Safety and Security

Mã QR

Engineering Methods and Tools for Software Safety and Security

This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS). The NATO SPS Programme supports meetings in the following Key Priority areas: (1) Defence Against Terrorism; (2) Countering other Threats to Security and (3) NATO, Par...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Broy, Manfred, Sitou, Wassiou, Hoare, Tony
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Những chủ đề:	Software Methods
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35345
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Software system reliability and security
Bỡi: Broy, Manfred, et al.
Được phát hành: (2013)

Software Safety and Security: Tools for Analysis and Verification
Bỡi: Nipkow, Tobias, et al.
Được phát hành: (2014)

Engineering Theories of Software Intensive Systems
Bỡi: Broy, Manfred, et al.
Được phát hành: (2020)

Software and Systems Safety
Bỡi: Broy, Manfred, et al.
Được phát hành: (2013)

A logical basis for component-oriented software and systems engineering /
Bỡi: Broy, Manfred.

Software Quality: Methods and Tools for Better Software and Systems
Bỡi: Winkler, Dietmar, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Lau, Kung-Kiu, et al.
Được phát hành: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Bỡi: Larsen, Kim Guldstrand, et al.
Được phát hành: (2020)

Engineering Secure Software and Systems
Được phát hành: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Bỡi: Feng, Xinyu, et al.
Được phát hành: (2020)

Open source security tools:
Bỡi: Howlett, Tony
Được phát hành: (2005)

Open source security tools :
Bỡi: Howlett, Tony
Được phát hành: (2005)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Formal Methods and Software Engineering
Bỡi: Duan, Zhenhua, et al.
Được phát hành: (2020)

New Trends in Software Methodologies, Tools and Techniques
Bỡi: Fujita, Hamido, et al.
Được phát hành: (2013)

Software Engineering and Formal Methods
Bỡi: Cimatti, Alessandro, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Johnsen, Einar Broch, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

Software engineering: A practitioner's approach /
Bỡi: Pressman Roger S
Được phát hành: (2001)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Bỡi: Counsell, Steve, et al.
Được phát hành: (2015)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Bỡi: Khendek, Ferhat, et al.
Được phát hành: (2020)

Software engineering
Bỡi: ROGER S PRESSMAN
Được phát hành: (2001)

Software engineering
Bỡi: Sommerville, Ian
Được phát hành: (2004)

Software engineering :
Bỡi: Pressman, Roger S.
Được phát hành: (2005)

Software engineering
Bỡi: Schach, Stephen R.
Được phát hành: (1993)

Software engineering
Bỡi: Sommerville, Ian
Được phát hành: (1992)

Software security engineering :
Được phát hành: (2008)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)

The Essence of Software Engineering
Bỡi: Gruhn, Volker, et al.
Được phát hành: (2020)

Verified Software: Theories, Tools, Experiments
Bỡi: Meyer, Bertrand, et al.
Được phát hành: (2020)

Verified Software. Theories, Tools, and Experiments
Bỡi: Paskevich, Andrei, et al.
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Bỡi: Gnesi, Stefania, et al.
Được phát hành: (2015)

Software engineering fundamentals
Bỡi: Behforooz, Ali
Được phát hành: (1996)

Software engineering fundamentals
Bỡi: Ali Behforooz
Được phát hành: (1996)

Green in Software Engineering
Bỡi: Calero, Coral, et al.
Được phát hành: (2015)

Strategic software engineering :
Bỡi: Deek, Fadi P.
Được phát hành: (2005)

Software engineering
Bỡi: Sommerville, Ian
Được phát hành: (2016)

Present and Ulterior Software Engineering
Bỡi: Mazzara, Manuel, et al.
Được phát hành: (2020)

Knowledge-Based Software Engineering Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Bỡi: Virvou, Maria, et al.
Được phát hành: (2013)