Bücher nach ISBN > Springer > Kousha Etessami

Kousha Etessami

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings978-3-54O-27231-1
(3-54O-27231-3)		2010Sriram K. Rajamani

Kovács Elisabeth und Gottfried Roth