Leveraging Applications Of Formal Methods Verification And Validation: Tools And Trends Kartoniert (TB)
Springer
Description
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods ISoLA 2020 which was planned to take place d... Weiterlesen
GTIN
9783030837228
Angeboten durch
Weltbild AT
Produkt speichern
Produkt gespeichert
Produkt vergleichen
Preisgeschichte
Verwandte Produkte
Bitte wählen Sie mindestens 2 Produkte zum Vergleich aus
Vergleich anzeigen