Shaz Qadeer – författare

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

2 produkter

Kategorier

2 produkter

Ganesh Gopalakrishnan, Shaz Qadeer - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvGanesh Gopalakrishnan,Shaz Qadeer

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Shaz Qadeer, Serdar Tasiran - Runtime Verification, Häftad

Runtime Verification

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

AvShaz Qadeer,Serdar Tasiran

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar