Shaz Qadeer - Böcker

Visar alla böcker från författaren Shaz Qadeer.

2 produkter

Kategorier

2 produkter

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Av Ganesh Gopalakrishnan, Shaz Qadeer

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Av Shaz Qadeer, Serdar Tasiran

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar