Leveraging Applications of Formal Methods, Verification and Validation | DealShopping Deutschland
  1. Home
  2. 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)

76.99 EUR 64.98 EUR 16% Off

Dieses Buch sammelt die neuesten Arbeiten zum Einsatz formaler Methoden in der Softwareverifikation, präsentiert von den Autoren des ISoLA 2022 Symposiums – ein praxisorientierter Leitfaden für Forschung und Entwicklung.

Teilen:

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

52.94 EUR
Leveraging Applications of Formal Methods

Leveraging Applications of Formal Methods

53.49 EUR
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods Verification and Validation: Verification Principles

89.80 EUR
Leveraging Applications of Formal Methods Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods Verification and Validation: Engineering Principles

53.49 EUR
Leveraging Applications of Formal Methods Verification and Validation: Applications

Leveraging Applications of Formal Methods Verification and Validation: Applications

53.49 EUR
Leveraging Applications of Formal Methods Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods Verification and Validation. Verification Principles

87.34 EUR