Leveraging Applications Of Formal Methods Verification And Validation Kartoniert (TB)
Springer
Description
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems SARS 2011 Workshop and the Machine Learning for System Construction MLSC 2011 Workshop... Weiterlesen
GTIN
9783642347801
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