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

AvMadhusudan Parthasarathy,Sanjit A. Seshia

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar