Critical Systems: Formal Methods And Automated Verification, Kartoniert (TB)
Springer
Description
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification... Weiterlesen
GTIN
9783319459424
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