Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C
79,84 €
REoCAS Colloquium in Honor of Rocco De Nicola. Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification.
Jetzt bei Ebay: