Sanjit A. Seshia – författare
Visar alla böcker från författaren Sanjit A. Seshia.
2 produkter
2 produkter
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
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Häftad, Engelska, 2012
719 kr
Skickas inom 10-15 vardagar