Software Verification and Formal Methods for ML-Enabled Autonomous Systems | DealShopping Deutschland
  1. Home
  2. Software Verification and Formal Methods for ML-Enabled Autonomous Systems
  • #

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

69.54 EUR 61.34 EUR 12% Off

Teilen:

Ähnliche Produkte

Software Verification

Software Verification

58.84 EUR
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Notes in Computer Science, Band 12549)

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Notes in Computer Science, Band 12549)

53.49 EUR
Software Verification and Validation

Software Verification and Validation

84.00 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

64.98 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

70.61 EUR
Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

53.49 EUR