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)