Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 31. Internat
69,51 €
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. Publisher Springer International Publishing AG.
Jetzt bei Ebay:
![Produktbild - Tools and Algorithms for the Construction and Analysis of Systems [Hardback]](https://i.ebayimg.com/thumbs/images/g/lpwAAeSwaqVoKdVD/s-l140.jpg)
