Automated Technology for Verification and Analysis المزيد من الكتب المشابهة

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٠
Reachability Problems Reachability Problems
Reachability Problems
٢٠١١
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
٢٠١١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٨
SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science
SOFSEM 2009: Theory and Practice of Computer Science
٢٠٠٩
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠٠٨
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠٠٩
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
٢٠٠٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٧
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
٢٠٠٨
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
٢٠١١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
٢٠١٠
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
٢٠١١
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
٢٠٢٢