Logics and Languages for Reliability and Security

Mã QR

Logics and Languages for Reliability and Security

Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applications work correctly and that any data they u...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35607
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ự

Formal Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, 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)

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

Computer Safety, Reliability, and Security
Bỡi: Gallina, Barbara, et al.
Được phát hành: (2020)

Computer Safety, Reliability, and Security
Bỡi: Tonetta, Stefano, et al.
Được phát hành: (2020)

Computer Safety, Reliability, and Security
Được phát hành: (2020)

Computer Safety, Reliability, and Security
Bỡi: Tonetta, Stefano, et al.
Được phát hành: (2020)

Computer Safety, Reliability, and Security
Bỡi: Gallina, Barbara, et al.
Được phát hành: (2020)

Security and Reliability of Damaged Structures and Defective Materials
Bỡi: Pluvinage, Guy, et al.
Được phát hành: (2020)

Quality, Reliability, Security and Robustness in Heterogeneous Systems
Bỡi: Wang, Lei, et al.
Được phát hành: (2020)

Quality, Reliability, Security and Robustness in Heterogeneous Networks
Bỡi: Lee, Jong-Hyouk, et al.
Được phát hành: (2020)

Quality, Reliability, Security and Robustness in Heterogeneous Systems
Bỡi: Chu, Xiaowen, et al.
Được phát hành: (2020)

Reliability in Automotive and Mechanical Engineering
Bỡi: Bertsche, Bernd
Được phát hành: (2020)

Language and Logics
Bỡi: Gregory, Howard
Được phát hành: (2015)

Logics and languages
Bỡi: Cresswell, M. J
Được phát hành: (2017)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Logic, Language, and Computation
Bỡi: Bezhanishvili, G, et al.
Được phát hành: (2015)

25 Years of Model Checking
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Bỡi: Fantechi, Alessandro, et al.
Được phát hành: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
Bỡi: Bastos, Rodrigo Possamai, et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Được phát hành: (2020)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Bỡi: Leivant, Daniel, et al.
Được phát hành: (2020)

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures. 1st ed. 2018
Bỡi: Felice, Fabio De, et al.
Được phát hành: (2020)

The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 /
Bỡi: Barwise, Jon.
Được phát hành: (1993)

P-Prolog, a parallel logic programming language
Bỡi: Yang, Rong
Được phát hành: (1987)

P-Prolog, a parallel logic programming language /
Bỡi: Yang, Rong.
Được phát hành: (1987)

Network Reliability
Bỡi: Gertsbakh, Ilya, et al.
Được phát hành: (2020)

Reliability Engineering
Bỡi: Birolini, Alessandro
Được phát hành: (2020)

Reliability Engineering
Bỡi: Birolini, Alessandro
Được phát hành: (2020)

Reliability : Management, Methods and Mathematics /
Bỡi: Lloyd, David K.
Được phát hành: (1962)

Reliability engineering :
Bỡi: Nachlas, Joel A.
Được phát hành: (2005)

A logical framework for planning agricultural research programs
Bỡi: Bernd Schubert
Được phát hành: (1991)

Logic, Language, Information, and Computation. 1st ed. 2017
Bỡi: Kennedy, Juliette, et al.
Được phát hành: (2020)

Reliable Distributed Systems
Bỡi: Birman, Kenneth
Được phát hành: (2020)