Leveraging Applications of Formal Methods, Verification, and Validation: Interna
67,86 €
The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project. Short Title LEVERAGING APPLICATIONS OF FOR. Robot programming. - Languages and compilation techniques.
Jetzt bei Ebay:
