Bücher nach ISBN > Springer > Madhusudan Parthasarathy

Madhusudan Parthasarathy

M P · Modest Prats

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings978-3-642-31423-O
(3-642-31423-6)		2012Sanjit A. Seshia

Madhusudan Prasad