Tools and Algorithms for the Construction and Analysis of Systems: 31st Internat
38,95 €
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:
