Madhusudan Parthasarathy – författare

Visar alla böcker från författaren Madhusudan Parthasarathy. Handla med fri frakt och snabb leverans.

2 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

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in …

2. 

   Computer Aided Verification

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

   Av Sanjit A. Seshia, Madhusudan Parthasarathy

   E-bok, 2012

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in …