Shaz Qadeer - Böcker
Visar alla böcker från författaren Shaz Qadeer.
2 produkter
2 produkter
Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar