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
