Sanjit A. Seshia – författare

Visar alla böcker från författaren Sanjit A. Seshia.

2 produkter

1. 

   Verified Software: Theories, Tools, and Experiments

   7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

   Av Arie Gurfinkel, Sanjit A. Seshia

   Häftad, 2016

   729 kr

   Lägg i varukorg

2. 

   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