Tools and Algorithms for the Construction and Analysis of Systems: 13th Internat
124,41 €
Invited Contributions. - THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. - Verifying Object-Oriented Software: Lessons and Challenges. - Software Verification. - Shape Analysis by Graph Decomposition.
Jetzt bei Ebay: