Sanjit A. Seshia – författare

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

2 produkter

Kategorier

2 produkter

Del 9593
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
739 kr
Skickas inom 10-15 vardagar
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
739 kr
Skickas inom 10-15 vardagar