Sanjit A. Seshia - Böcker

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

2 produkter

Kategorier

2 produkter

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, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Madhusudan Parthasarathy, Sanjit A. Seshia

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar