Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. REoCAS C

Ø 0.0
0 Bewertungen
125,35 €

REoCAS Colloquium in Honor of Rocco De Nicola by Tiziana Margaria, Bernhard Steffen. Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification.

Jetzt bei Ebay: