Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. REoCAS C
122,79 €
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: