Leveraging Applications of Formal Methods | Kaicus Deutschland

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

Ein wissenschaftliches Werk aus dem neunten internationalen Symposium, das neue Algorithmen für die formale Analyse von Softwaresystemen vorstellt und deren Einsatz in realen Projekten demonstriert.

Marke: Tiziana Margaria