Automated Technology for Verification and Analysis

QRコード

Automated Technology for Verification and Analysis

保存先:

書誌詳細
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Computer Communication Networks Logics and Meanings of Programs
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82433
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Automated Technology for Verification and Analysis
著者:: Peled, Doron A., 等
出版事項: (2020)

Automated Technology for Verification and Analysis
著者:: Namjoshi, Kedar, 等
出版事項: (2020)

Critical Systems: Formal Methods and Automated Verification
著者:: Petrucci, Laure, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
著者:: Beyer, Dirk, 等
出版事項: (2020)

Computer Aided Verification
著者:: Damm, Werner, 等
出版事項: (2020)

Computer Aided Verification
著者:: Chockler, Hana, 等
出版事項: (2020)

Computer Aided Verification
著者:: Chockler, Hana, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Numerical Software Verification
著者:: Bogomolov, Sergiy, 等
出版事項: (2020)

Numerical Software Verification
著者:: Abate, Alessandro, 等
出版事項: (2020)

Computer Aided Verification
出版事項: (2020)

Computer Aided Verification
著者:: Dillig, Isil, 等
出版事項: (2020)

Hardware and Software: Verification and Testing
著者:: Strichman, Ofer, 等
出版事項: (2020)

Hardware and Software: Verification and Testing
著者:: Yorav, Karen
出版事項: (2020)

Hardware and Software: Verification and Testing
出版事項: (2020)

Hardware and Software, Verification and Testing
著者:: Bin, Eyal, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
著者:: Dillig, Isil, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
著者:: Cook, Byron, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
著者:: Bouajjani, Ahmed, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
著者:: Logozzo, Francesco, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Verification of Object-Oriented Software. The KeY Approach
著者:: Beckert, Bernhard, 等
出版事項: (2020)

Automated Reasoning
著者:: Galmiche, Didier, 等
出版事項: (2020)

Automated Deduction - CADE-21
著者:: Pfenning, Frank
出版事項: (2020)

Automated Deduction – CADE-20
著者:: Nieuwenhuis, Robert
出版事項: (2020)

Automated Deduction – CADE 26
著者:: Moura, Leonardo de
出版事項: (2020)

Automated Technology for Verification and Analysis
著者:: D'Souza, Deepak, 等
出版事項: (2020)

Automated Technology for Verification and Analysis
著者:: Lahiri, Shuvendu K., 等
出版事項: (2020)

Automated Reasoning and Mathematics
著者:: Bonacina, Maria Paola, 等
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Gallina, Barbara, 等
出版事項: (2020)

Security of Industrial Control Systems and Cyber-Physical Systems
著者:: Cuppens-Boulahia, Nora, 等
出版事項: (2020)

Software Engineering and Formal Methods
著者:: Cerone, Antonio, 等
出版事項: (2020)

Models of Strategic Reasoning
著者:: Benthem, Johan van, 等
出版事項: (2020)

Static Analysis
著者:: Ranzato, Francesco
出版事項: (2020)

Static Analysis
著者:: Podelski, Andreas
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Raskin, Jean-Francois, 等
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Pettersson, Paul, 等
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
著者:: Vojnar, Tomáš, 等
出版事項: (2020)

Program Analysis and Compilation, Theory and Practice
著者:: Reps, Thomas, 等
出版事項: (2020)