1 电子书 Dietmar Schreiner
Reiner Hahnle & Jens Knoop: Leveraging Applications of Formal Methods, Verification, and Validation
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 Works …
PDF
英语
DRM
€57.89
