Sanjit A. Seshia - Böcker

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

Verified Software: Theories, Tools, and Experiments

Av Arie Gurfinkel, Sanjit A. Seshia

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Madhusudan Parthasarathy, Sanjit A. Seshia - Computer Aided Verification, Häftad

Computer Aided Verification

Av Madhusudan Parthasarathy, Sanjit A. Seshia

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar