Critical Systems: Formal Methods And Automated Verification, Kartoniert (TB)
Springer
Description
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification... Weiterlesen
GTIN
9783319671123
Angeboten durch
Weltbild CH
Produkt speichern
Produkt gespeichert
Produkt vergleichen
Preisgeschichte
Verwandte Produkte
Bitte wählen Sie mindestens 2 Produkte zum Vergleich aus
Vergleich anzeigen