Hoppa till sidans huvudinnehåll

Sanjit A. Seshia – författare

Visar alla böcker från författaren Sanjit A. Seshia.
2 produkter
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments, Häftad
Del 9593 - Lecture Notes in Computer Science

Verified Software: Theories, Tools, and Experiments

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

AvArie Gurfinkel,Sanjit A. Seshia

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Madhusudan Parthasarathy, Sanjit A. Seshia - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvMadhusudan Parthasarathy,Sanjit A. Seshia

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar