Bücher nach ISBN > Springer > Madanlal Musuvathi

Madanlal Musuvathi

M M

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings978-3-642-223O5-1
(3-642-223O5-2)		2011Alex Groce

Madassar Manzoor