Normal view
MARC view
Seshia, Sanjit A. (Personal Name)
Used for/see from:
- Seshia, S. A. (Sanjit A.)
- Seshia, Sanjit Arunkumar
Computer aided verification, c2012: t.p. (Sanjit A. Seshia) verso (Department of Electrical Engineering and Computer Science, University of California, Berkeley) prelim. (S. A. Seshia) cover (Sanjit Arunkumar Seshia)
Introduction to embedded systems, c2017: t.p. (Sanjit Arunkumar Seshia)