Madhusudan Parthasarathy – författare

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

1 produkter

1. 

   Computer Aided Verification

   24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

   Av Madhusudan Parthasarathy, Sanjit A. Seshia

   Häftad, 2012

   729 kr

   Lägg i varukorg