Shaz Qadeer – författare

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

2 produkter

1. 

   Computer Aided Verification

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

   Av Ganesh Gopalakrishnan, Shaz Qadeer

   Häftad, 2011

   729 kr

   Lägg i varukorg

2. 

   Runtime Verification

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

   Av Shaz Qadeer, Serdar Tasiran

   Häftad, 2013

   729 kr

   Lägg i varukorg