Automated Technology for Verification and Analysis

QR Kod

Automated Technology for Verification and Analysis

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Computer Communication Networks Logics and Meanings of Programs
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82433
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Automated Technology for Verification and Analysis
Yazar:: Peled, Doron A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: Namjoshi, Kedar, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Critical Systems: Formal Methods and Automated Verification
Yazar:: Petrucci, Laure, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Beyer, Dirk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Damm, Werner, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Numerical Software Verification
Yazar:: Bogomolov, Sergiy, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Numerical Software Verification
Yazar:: Abate, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware and Software: Verification and Testing
Yazar:: Strichman, Ofer, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hardware and Software: Verification and Testing
Yazar:: Yorav, Karen
Baskı/Yayın Bilgisi: (2020)

Hardware and Software: Verification and Testing
Baskı/Yayın Bilgisi: (2020)

Hardware and Software, Verification and Testing
Yazar:: Bin, Eyal, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Cook, Byron, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Bouajjani, Ahmed, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Logozzo, Francesco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification of Object-Oriented Software. The KeY Approach
Yazar:: Beckert, Bernhard, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning
Yazar:: Galmiche, Didier, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Deduction - CADE-21
Yazar:: Pfenning, Frank
Baskı/Yayın Bilgisi: (2020)

Automated Deduction – CADE-20
Yazar:: Nieuwenhuis, Robert
Baskı/Yayın Bilgisi: (2020)

Automated Deduction – CADE 26
Yazar:: Moura, Leonardo de
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: D'Souza, Deepak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: Lahiri, Shuvendu K., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning and Mathematics
Yazar:: Bonacina, Maria Paola, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Safety, Reliability, and Security
Yazar:: Gallina, Barbara, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Security of Industrial Control Systems and Cyber-Physical Systems
Yazar:: Cuppens-Boulahia, Nora, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering and Formal Methods
Yazar:: Cerone, Antonio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Models of Strategic Reasoning
Yazar:: Benthem, Johan van, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Static Analysis
Yazar:: Ranzato, Francesco
Baskı/Yayın Bilgisi: (2020)

Static Analysis
Yazar:: Podelski, Andreas
Baskı/Yayın Bilgisi: (2020)

Formal Modeling and Analysis of Timed Systems
Yazar:: Raskin, Jean-Francois, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Modeling and Analysis of Timed Systems
Yazar:: Pettersson, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Yazar:: Vojnar, Tomáš, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Program Analysis and Compilation, Theory and Practice
Yazar:: Reps, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)