Leveraging Applications Of Formal Methods Verification And Validation: Discussion Dissemination Applications Kartoniert (TB)
Springer
Description
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods Verification and Validation ISoLA 2016 h... Weiterlesen
GTIN
9783319471686
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