Software and systems safety specification and verification /

Đã lưu trong:
Chi tiết về thư mục
Nhiều tác giả của công ty: ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Tác giả khác: Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Định dạng: Điện tử Hội nghị đang tiến hành eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Amsterdam, The Netherlands : IOS Press, 2011.
Loạt:NATO science for peace and security series. Information and communication security ; v. 30.
Những chủ đề:
Truy cập trực tuyến:An electronic book accessible through the World Wide Web; click to view
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!