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

Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 31. Internat

Ø 0.0
0 Bewertungen
83,18 €

The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. Tools and Algorithms for the Construction and Analysis of Systems by Arie Gurfinkel, Marijn Heule.

Jetzt bei Ebay: