Name: Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice
Brand: Tiziana Margaria
SKU: ID12431847
Availability: InStock

Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice

6.90 CHF

Dieses Buch liefert praxisorientierte Einblicke in formale Methoden zur Verifikation und Validierung, indem es innovative Fallstudien aus der Industrie präsentiert und die Umsetzung theoretischer Konzepte in realen Systemen beleuchtet.

Marke: Tiziana Margaria

ISBN: 3030034267

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert PRODUKTE/PREISE IM WEB PRÜFEN

eBay

Access to the deal

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

pressbooks.ch

6.90 CHF 6.90 CHF

Access to the deal

Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice

Gesponsert PRODUKTE/PREISE IM WEB PRÜFEN

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

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice

Gesponsert PRODUKTE/PREISE IM WEB PRÜFEN

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

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... Notes in Computer Science, Band 15219)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Notes in Computer Science, Band 15223)