1.
Computer Aided Verification : 25th International Conference, Cav 2013, Saint Petersburg, Rus...
by Sharygina, Natasha, Veith, ...
ISBN: 9783642398001
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
by Sankaranarayanan, Sriram, S...
ISBN: 9783031308192
List Price: $49.99
3.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
by Sankaranarayanan, Sriram, S...
ISBN: 9783031308222
List Price: $49.99