Madhusudan Parthasarathy - Böcker

Visar alla böcker från författaren Madhusudan Parthasarathy.

1 produkt

Kategorier

1 produkt

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