Leveraging Applications of Formal Methods, Verification and Validation | DealShopping Schweiz
  1. Home
  2. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
  • #

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

6.90 CHF

Dieses Buch präsentiert aktuelle Forschungsergebnisse zu formalen Methoden in der Softwareverifikation, mit Schwerpunkt auf industriellen Anwendungsfällen und praktischen Implementierungsbeispielen aus dem ISoLA-Symposium.

Teilen:

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)

53.49 EUR
Leveraging Applications of Formal Methods: 10th International Symposium

Leveraging Applications of Formal Methods: 10th International Symposium - Computer Science Notes, Band 13036

74.34 EUR
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

85.59 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

70.60 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
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

51.69 EUR