Automated Technology for Verification and Analysis

समान संसाधन

• 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)